The text ed8d3a4724b7, as Debian 13 (Trixie) shipped it.
put events back on the queue
XPutBackEvent(3) on Linux now
