https://www.theverge.com/2023/2/13/23598335/google-chromebook-chromeos-keyboard-shortcuts-customizable
