[batista]

On a more general note, does no one else consider Mac-style "alt-tab switches apps" and "global menu" usability mistakes? (on grounds of being modal)

No, modal can be good.