I keep forgetting the TODO file exists, and anyway it's an ineffective place to track TODOs relative to a web-based issue tracker, so I think we should migrate its contents here.
See also #43 but moving the issue tracker elsewhere is an orthogonal problem.
I keep forgetting the TODO file exists, and anyway it's an ineffective place to track TODOs relative to a web-based issue tracker, so I think we should migrate its contents here.
See also #43 but moving the issue tracker elsewhere is an orthogonal problem.