I've been trying to find an easy way to access a connected AudioMoth's device ID/serial number, and it seems the reported serial number visible in system information on a mac, or pulled via Python, is always just 0100 and not the device ID recorded in the config file and displayed in the time/config apps. Is there any plan to surface the device ID as the serial number in this case, or is the only option to use the desktop apps or USB-HID-Tool?