Sync with GitHub master: CI, offline multilingual proof, MFA exemption

4cef597

verified

vadhhh commited on Jul 8