The text 0ff5efcda417, as Debian 13 (Trixie) shipped it.
thread-safe timer list management
pmWebTimerRegister(3) on Linux now
