GitHub Pages already supports URLs without .html. Since #242, it does not and what is worse is that URLs always get / appended. For websites hosted GitHub Pages, https://github.com/ComPWA/policy/issues/158#issuecomment-1902239017 is therefore probably not a good solution.
Reverts ComPWA/compwa.github.io#242
GitHub Pages already supports URLs without .html. Since #242, it does not and what is worse is that URLs always get
/
appended. For websites hosted GitHub Pages, https://github.com/ComPWA/policy/issues/158#issuecomment-1902239017 is therefore probably not a good solution.