Slow file listing after a cache restart

On 3 November the workspace was slow to list files for about twenty minutes after a cache server restarted cold. The API itself was fine; only the browser listing dragged while the cache warmed. We now warm the cache before an instance takes traffic.