Tidy up stray files

'TODO' tracking is now implemented using GitHub's issue tracker.