Renamed CacheManager to HTMLFileCache, to avoid confusion with the other sort of...