Re-org of TODOs: moved quite a few to github issues.
Fix a couple of typos spotted by forumites.