The text 4d95e44d612c, as Debian 10 (Buster) shipped it.
Retrieve or set device attributes
udev_device_get_properties_list_entry(3) on Linux now
