I don't know the answer, but you might want to keep the php extension anyway. I make all of my pages php because just about everything is dynamic these days. Makes it easier to update old pages.
BTW I will try to find some time to add your latest guides to the KB today when I get back to the office. :)