https://griddle-reviews.blogspot.com/2023/12/robust-keyboard-shortcut-handling-using.html