tools/lazy_deps.py was not deleted; it survives as an old-updater stub that raises or stops for relaunch. The job display name and the checker/test prose claimed it was deleted, which sends readers looking for a missing file. The display name is not a required status check (main requires only "All required checks pass", which keys on job ids), so rename it to "No production imports of the tools.lazy_deps stub".