ex::monkeypatched(3pm) on Linux

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

Experimental API for safe monkey-patching

ex::monkeypatched(3pm) on Linux now