On 12 mars 2014 21:18:23 GMT+00:00, Yves-Alexis Perez <corsac at debian.org> wrote: > No idea. Is it only the case for Super-E or all Super- shortcuts? Only this one (or at least many other work, I've not done systematic testing). -- Gabriel