Mojo has a cache in $HOME/.modular Since the performance of the compiler is tied to how fast it can read and write to this directory, maybe there should be a piece of docs somewhere explaining how to move this directory somewhere else? I couldn’t find anything in the docs.