The text a14ed7fdd7a8, as Debian 10 (Buster) shipped it.
portable subsecond-capable sleep
pmpause(1) on Linux now
