I think maybe we should not include this file in the repo (e.g. put it in `.gitigntore`) and just generate it automatically inside of `./dev/run-test`. Otherwise we'll have to update this all the time.