XGetDeviceDontPropagateList(3x) on Linux

The text 72343d5b5b3a, as Debian 1.1 (Buzz) shipped it.

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