This is a gnome shell extension to hide minimized windows in overview
You can install this extension from https://extensions.gnome.org
Or you can do it by hand, downloading this repository to your local shell extensions folder:
cd ~/.local/share/gnome-shell/extensions
git clone https://github.com/danigm/hide-minimized.git
mv hide-minimized hide-minimized@danigm.netNote: the last command is needed to match the uuid field in the metadata.json file.
To complete the installation reload gnome-shell by pressing ALT+F2, type "r", hit enter. You can now enable the exention.