https://wwtyrd.com/tech/sheena/vlc-keyboard-shortcuts/