make .html the default (first) format