This one should go to the `tools` directory at some point.