* (bug 9256) Add a quick note to index.php header comments