Website/CI updates

[VojtechStep]

• Updated the list of contributors in citations
  • This amounts to adding myself to CITATION.cff; hopefully shouldn't be controversial, as I discussed it with Egbert over a year ago, but never pushed it
• Added a pre-commit check for rejecting links in headings. Since mdbook turns headings into links with no checks on the text, this leads to nested links, which are not supported by HTML. Browsers would recover by interpreting <a>Before <a>inside</a> after</a> as <a>Before </a><a>inside</a> after
  • Correspondingly I fixed all the occurrences of those headings. Two of them were linked to from the BdJR24 paper, but the ids stayed the same, so the links are still valid
• Fixed The module index generator doesn't support modules with unicode characters in their names  #1027 by both not failing silently on unicode file names (they are treated correctly now), and rejecting files with non-ASCII names in a pre-commit hook
• Fixed Run link-check sooner, and irrespective of other pipelines #775 by implementing the "source filename"->"Agda processed filename" translation in Python and using this instead of Agda when asked
  • Updated CI accordingly, so that linkcheck should run in parallel to typechecking, with no typechecking required
• Fixed Concept macro incompatible with inline latex? #1362 by explicitly rejecting LaTeX fragments in concepts
• Typos

[fredrik-bakke]

Awesome, thanks for looking into these old issues!

[VojtechStep]

I stuffed another feature in the last two commits, namely "fixing" the concepts/latex incompatibility by making it explicitly rejected

[fredrik-bakke]

Looks good to me! Feel free to merge when you are ready