Experimental version (2026). The 2021 PDF has been converted to web pages, which are easier to read on a smartphone.