Website partially out of order

The renaming of the master branch in hand this weekend had various side effects, including the failure of the automatic link generation scripts on our website. As a result, some pages are currently inaccessible, and some links are pointing nowhere. The problem has been identified and is being dealt with.

We apologize for the inconvenience.

2 Likes

Issue fixed. The site seems to be fully functional again, so please report any remaining problems.

2 Likes