write_one_page(9) on Linux

The text 85362b5e05bb, as Debian 9 (Stretch) shipped it. The page shows this text now.

write out a single page and optionally wait on I/O

write_one_page(9) on Linux now