Let's also move `cache_sync.py` to tools or remove if it's no longer useful?