Is there a way to change the DHCP device name?

I would assume that when a device requests an address via DHCP it should send its configured device name as the host name so that it's easy to find on the local network. However, this doesn't seem to happen... the host name always remains the same as it was initially ( e.g. ShellyPlus1-xxxxxxxxxxxxxxxx, which is hardly memorable! )

Is there a way to change this, and if not can I request this for a future firmware update please?

Yes, I know that you can manually add a DNS or hosts entry but that's not a great solution - it means that a static ip needs to be assigned for every device ( either via DHCP or the device itself ) when there really shouldn't be a need, plus the name needs to be set in different places which again shouldn't be necessary. No other device on my network operates this way, and if it is indeed necessary for the app then there are more sensible ways the app can and should work!