The contents of TODO are all captured in github issues, or no longer
relevant. Close #17.