pr-13099-cedd93 vs. 2412-80 / mvk-osx-m1 / tla-menu

pr-13099-cedd93 (cedd9394) Diff 2412-80 (9b3b6bea)
Failure b2fefc425abf14666320a462f9c7b9eccfbc1828
Failure 8b45e177920eddb94fad06d8794b2848a8777665
Failure e634c90f2f666dd357607e9cef542324941035b6