Keyboard Shortcuts https://help.gnome.org/users/gnome-help/stable/shell-keyboard-shortcuts.html.en https://www.howtogeek.com/41418/how-to-be-more-productive-in-ubuntu-using-keyboard-shortcuts/