Delete to-do's in comments: Moved them to GitHub issues list.