[thom]

The only way I found of making Gnome bearable these days:

https://extensions.gnome.org/extension/1160/dash-to-panel/

[ailideex]

I also use it, but it is quite buggy and not quite enough. Luckily xfce is now available for RHEL8 via EPEL.