Ok, new shiny Gnome 42 is here, but Dash To Panel is broken again !
So, if you get this, do the following :
$ git clone --branch gjs-71-1 https://github.com/philippun1/dash-to-panel.git
$ cd dash-to-panel
$ make install
Logout the session and then boom it’s working again 
EDIT : Panel Intellihide doesn’t seem to work though 