GNOME extensions personalize your desktop experience. My must-have extensions include Dash to Dock, ArcMenu, and LAN IP Address. Extensions don't need to be sophisticated to be useful. Doing one task ...