This is a gnome shell extension to hide minimized windows in overview
Downloading this repository to your local shell extensions folder ~/.local/share/gnome-shell/extensions
.
Also remember to rename the folder extracted to "hide-minimized@danigm.net" instead of "hide-minimized", otherwise the extension will not be seen by "Extensions" manager.