Python scripts to convert certain files to HTML