https://ksfboa.com/tech/jacki/how-to-customize-key-bindings-in-windows-terminal.html