All the repositories I've seen aside from @ljharb's use the .html extension. I think this template should document current practices for beginners, at least to start, rather than be the place to push new policies. However, the file extension is not very important here in any case.