https://tutorialtactic.com/keyboard-shortcuts/kate-shortcuts/