cache.txt: use or delete. Currently unused.
