If not given, cross references render with the
.htmlextension as in:
This way, those links will work when rendering locally to
.htmlfiles which is the default behaviour of:
If given however, the links render without the
which is what is needed for servers such as GitHub Pages, which automatically remove the
.htmlextension from paths.
This option is automatically implied when publishing to targets that remove the
.htmlextension such as GitHub pages.