Several people have kindly started to typeset the untypeset sheets, to make them more legible and so that the files are smaller. There's really no urgency to this, but on the other hand I want people to feel that they're making the best use of their time. This page therefore offers some suggestions of which sheets to choose, by grouping them higher-priority first. If you can tell me that you're working on a particular sheet then I'll record that here so that other people can pick something else. As of early June 2020 we've typeset 85 of the 356 untypeset sheets = 24%, and at the current rate we might have typeset all the sheets by late December 2020.
Untypeset sheets that have not been played recently* and so are more likely to be visited soon (93 of 513 = 18%):
Untypeset sheets that have been played recently* and so are less likely to be visited soon (143 of 513 = 28%):
Sheets that someone's already working on (35 of 513 = 7%):
Sheets that were typeset originally (154 of 513 = 30%):
Sheets that have been typeset since the original untypeset version (85 of 513 = 17%):
Sheets that are missing (3 of 513 = 1%):
* "Recently" means "since November 2013 when current records began".