Hi
I can't reproduce the bug :/
Technically, in the code, there's no difference between jump key and other keys.
Tell me more about your config plz:
- your keyboard type (azerty, querty, etc) and language
- your browser. Did you tried with another browser? without plugins?
- what keys did you test?