Now typecheck the script and do a dry-run to make sure it still works, then clean up the duplicate case-collision pages.