https://wwtyrd.com/tech/olympia/blog/2021/04/14/vlc-media-player-keyboard-shortcuts-to-use/