Move some items from TODO list to github, and delete irrelevant ones.