- delete extraction scripts that depended on the removed local mirror - remove stale extract npm scripts and migration-brief references - drop the old mirror ignore rule from .gitignore - update reports and redirect reasons to use live-source wording