Rather than trod on X11 keysyms, just check the meta keys in addition to the alt keys in Sys_AltDown. This way, if someone has a working X11 on Mac and they prefer to actually use their Alt keys, they can. The rest of us can use Cmd.