Rename 'documentation.php'