I would like to have pretty URLs without enabling the
directory_indexes feature, in order to avoid unnecessary redirections.
See for example GitHub pages which can already handle this out of the box: https://rsp.github.io/gh-pages-no-extension/
The problem is that
url_for will currently output the full link including the html extension. Is it possible to optionally drop the .html extension in generated links ?