This repo contains scripts that fix things.