Maintenance update: repaired the release pipeline for Mac App Store builds, iOS submission, and a flaky lock test.