gnome-shell-extension-hide-dash is a simple extension that hides the dash from the activities overview.
If you find you dont use the dash or have a smaller screen you can use this extension to hide the dash and allow the windows and application tabs to have a close to full-screen area.
To install the extension, clone this repository and symlink the directory "[email protected]" into "~/.local/share/gnome-shell/extensions/". Then restart gnome-shell (<Alt> + F2 and enter "r"), open gnome-tweak-tool and enable the extension.