Add a CI check to protect against 404 errors
I'm thinking we might want to use a dedicated CI check using something like wget https://www.lostsaloon.com/technology/how-to-use-wget-to-find-broken-links-on-your-website/ to ensure there is no such problem.