This suggestion could be done in an other feature:

Since we changed the code so that the extension could be taken into account, why not allow user to change the ".html" extension of pages ? Some user could prefer no extention at all for example (as github).