Improve page documentation

<?php

/**

 * Template for pages.

 * Template for a page.

 * 

 * WordPress identifies this file by its name (which MUST be page.php).

 * A page has similar traits to an entry in an encyclopedia: It provides up-to-date

 * information on a certain topic, which is not expected to cease its relevance. If

 * it ever does, the page should be deleted (it may be kept in archives, of course,

 * but only there). Links on a page should never be dead, if they do, they should be

 * replaced without trace by functioning links.

 * 

 * Pages make up the scaffolding of the website and can often be reached via the page's

 * main navigation. They contain information that is not expected to cease its relevance

 * and should be kept up to date.

 * The publication date of a page is normally irrelevant, more interesting is the date

 * of the last edit, which we display. In this template, we display no author names.

 * The author of a page is of little importance, so we do not display their name. The

 * publication date is also mostly irrelevant (in the same way I don't usually care 

 * about in which version of the encyclopedia a particular entry was added).

 * The date of the last modification is interesting, because it gives visitors a hint

 * if it might be outdated (of course, that should never happen, but mistakes happen...).

 *

 * Posts, on the other hand, have an (often implicit) expiration date and are expected to

 * cease to be relevant at some point in time. See single.php for more details.

 * WordPress identifies this file by its name (which MUST be page.php).

 *

 * @see https://codex.wordpress.org/Theme_Development#Pages_.28page.php.29

 */