With v7.14 the right ALT key doesn't work with the normal shortcuts.. ALT+O, ALT+E, ALT+R, ALT+J, etc. It does still open menu items, though.

I guess most people use the left ALT key, including me, but the right one should work the same.