The text ecbee2226e3e, as Debian 12 (Bookworm) shipped it.
Experimental API for safe monkey-patching
ex::monkeypatched(3pm) on Linux now
