src/build.py - allow either HTML or HTM file extensions