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.