Fix builds
What is your Merge about?
Fix hardening manifest-- use location that's valid after a mirror moved.
UNCLASSIFIED - NO CUI
The VSCode Web IDE feature for Repo1 will be disabled starting May 31, 2024, until further notice. Thank you for your patience.
UNCLASSIFIED - NO CUI