Add a simple header comment to index.php.