You can clone with
HTTPS or Subversion.
Updated TODO list in light of recent progress.
Small updates to auxiliary documentation.
Remembering to write down some more edge cases.
Updated TODO with a few more items that are needed.
Added a brief list of things I'm working on or considering.