The text aa5cc0a9521a, as Debian 9 (Stretch) shipped it.
Set the pause (on end-of-page) status
plspause(3plplot) on Linux now
