XGetDeviceDontPropagateList(3) on Linux

The text c622a04d0869, as Debian 12 (Bookworm) shipped it.

query or change the dont-propagate-list for extension devices