If they mess it up, then it should be messed up in production, but it isn't. So something is wrong with our config.