The text 2df4a8758318, as Debian 10 (Buster) shipped it.
Query and modify device monitor
udev_monitor_set_receive_buffer_size(3) on Linux now
