Hostname for some clients show up in lowercase

I'm using Pi-hole's DHCP server and have configured a static IP for some of the clients:

XX:XX:XX:XX:XX:84,192.168.42.20,Tonis-MBP
XX:XX:XX:XX:XX:E2,192.168.42.21,Tonis-iPhone
XX:XX:XX:XX:XX:35,192.168.42.22,Tonis-iPad
XX:XX:XX:XX:XX:91,192.168.42.23,Tonis-Apple-TV

In the top permitted/blocked client list and the query logs, some of the hostnames show up in lowercase:

tonis-mbp.internal
tonis-ipad.internal
tonis-iphone.internal

While others have the hostname that I set in the static config:

Tonis-Apple-TV.internal

On my Fritzbox, they all show up with the "correct" name:

Tonis-Apple-TV
Tonis-MBP
Tonis-iPad
Tonis-iPhone

Why is that?

Domain Name System (DNS) names are "case insensitive". This document
explains exactly what that means and provides a clear specification
of the rules https://datatracker.ietf.org/doc/html/rfc4343

I know that they are case-insensitive. But that does not explain why only these 3 show up in lowercase and all the others in mixed case.

Do you, by any chance, have some screenshots for us? I went through the code (rather quickly TBH) and didn't see any places where we do a conversion to lower-case for client hostnames. But, yes, we definitely do this for domains so depending on if you see the hostname as a client descriptor or as a requested domain, differences in capitalization are actually expected.
Once we have more information, we can go and take a closer look again.

Are these enough.