Changed behaviour of Full / uncached generation mode.
It now deletes the cache file and removes all lists, and then calls the normal Diff-mode.
This makes sure we have an up-to-date cache file lying around afterwards. (Anything else is pointless.)