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