I just migrated the blog to php so that I can later take advantage of php inside our pages. This means that if, by some chance, someone out there has linked to a page here ending in “.html,” they should now be going to the same page but ending in “.php” instead.