We now handle production deployment using some ansible playbooks based on these scripts, so rather than having slightly different versions in two places, I think it’s safer to remove them for now.