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