I realise I could find them on the states page but they aren’t grouped together so not very easy to find.
Is there a way to see which device names are linked to the named devices in the app? Is there an accessible URL on the gateway I can browse to find this information? Are the devices listed in a config file on Home Assistant somewhere?
You can get that information in the MiHome app, if you go into the About section of the gateway, click repeatedly on the white space below to show additional 3 options in Chinese.
Choose the 3rd new option (right above Tutorial) and you should be able to find a list of devices connected via that gateway (along with device names, as they appear as entity_id in Home Assistant).