This site hasn't been edited in one year, and some things on this GitHub Pages website might be slightly outdated.
The contents of this index page before near-blanking is available here
