Tidy up the repo after the most recent release.

It is clear that these files are no longer used / correct, so better to remove them than have incorrect things lying around.