Update xrefcheck usage
Clarification and motivation
We are using a rather old version of xrefcheck, we are even using its old name (crossref-verifier
). Let's update to a newer one and use some of its features.
Acceptance criteria
- To be discussed: instead of putting it into
sources.json
, let's either use it as a Hackage package (like we do forhlint
for example) or just download it and run. - We don't refer to it as
crossref-verifier
anymore. - Instead of having our own config let's use the default one since it seems to be good enough for us.