Extension manager: Fix cache extension to be .repo

The dot was missing i.e. the cache files had no real extension at all.