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