Fix a few missing file extensions for HTML