/* Page — rules emitted only by page-emcee.php. */