(v13) EndPage (page device)

This page applies to Harlequin v13.1r0 and later; both Harlequin Core and Harlequin MultiRIP

A procedure run at the end of each page and at page device deactivation, as described in [RB2], section 4.11.

Default: { exch pop 2 ne }