Comment 9 for bug 382473

Correction: selecting "right windows key" for "key to choose 3rd level" causes the right alt-key to show up in shortcuts and the like as "super" instead of alt.