Convert some files in htdocs/misc