connman and DHCP hostname Yesterday at 15:28:16 This is not about connman changing the local hostname; I know about that and changed the setting in /etc/connman/main.conf so that it doesn't happen and I keep locally my chosen hostname.However the DHCP server still lists the machine as 'artixlinux' not the custom hostname. Currently I have only one machine on that network, but planning to add more and having several identical hostnames may confuse my DHCP server.I have looked through connman settings and I see no obvious one to make this happen. In the past when using just plain dhcpcd on systems like Gentoo, the DHCP hostname ended up the same as the local hostname, and this is what I want to configure connman to do as well. How do I make this happen?