More TODO entries turned into GitHub issues...

New issues: #71, #73, #74 and #75.

Also removed some now irrelevant and/or long since fixed entries.