#107: Cleaned out old cruft which isn’t really needed any more.