rm TODO

Merged into GitHub issues.