Preferably as a flag to ./x.py; preferably such that the output gets stored in the build dir. We already run cargo with --message-format=json so we may need to differentiate somehow. cc @Mark-Simulacrum