XGetDeviceDontPropagateList(3) on Linux

The text 6760dab5c75b, as Debian 13 (Trixie) shipped it. The page shows this text now.

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