Remove TODO file; move to GitHub issues.