https://fedoramagazine.org/5-gnome-keyboard-shortcuts-to-be-more-productive/