We should move the TODO list into the github issue tracker.