I’m a chrome user, so this works out really for me. The easiest way to install gnome extensions is through a chrome extension. If you have that, head over to https://extensions.gnome.org/ to get more extensions.

I really like these:

• Dash to Dock
• Sound Output Device Chooser
• Workspaces to Dock
• Workspace Indicator
• Show Desktop Button
• Toggle Touchpad
• Battery Percentage

To manage these extensions - turn them on and off, or change options if they have any - use Gnome Tweak Tool. If you don’t have it, get it with this command:

sudo apt install gnome-tweak-tool