XGetDeviceDontPropagateList(3x) on Linux

The text 118c8214c06a, as Debian 3.0 (Woody) shipped it.

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