syncthing-device-ids(7) on Linux
The text c57185f1b7d3, as Debian 13 (Trixie) shipped it.
Understanding Device IDs Every device is identified by a device ID. The device ID is used for address resolution, authentication and authorization. The term “device ID” could interchangeably have been “key ID” since the device ID is a direct property of the public key in use.