setpdfpage(1p) on Linux

The text 5370af0690c6, as Debian 11 (Bullseye), Debian 10 (Buster), Debian 9 (Stretch) shipped it.

Replace a page of PDF layout

setpdfpage(1p) on Linux now