I've been trying to figure out how to jump forwards and back by small increments (the 10 second jumps are never useful for me, and I doubt many others unless they're 90 years old). The hotkeys settings show settings for "very short backwards jump" etc. but none of them work. Other VLC inte...