Minor Website Fixes 2021-12-18
Dead links were discovered as a result of the work done on the website during the last couple of weeks.
The majority of the dead links have now been fixed (~1000 dead links). Apologizes for any inconvenience it may have caused.
Please don’t hesitate to report any issues by sending an email to firstname.lastname@example.org