Changed file extensions that caused broken pages on github pages, and fixed some other minor bug