Rename tutorial.html to tutorial.php, mostly for convenience in the IDE