The wikis have been updated to MediaWiki 1.36 on 4 June 2021. There are still some small problems, but they are being worked on. If you see any other problems, please let us know as soon as possible and we will try to solve them.
Diff selection: Mark the radio boxes of the revisions to compare and hit enter or the button at the bottom.
Legend: (cur) = difference with latest revision, (prev) = difference with preceding revision, m = minor edit.