How to fix tooltip bug when trying to hide dash panel in browse menu using dash to dock?

Question

linux

I have the standard ubuntu 19.10 (i.e. the one with the gnome 3 environment).
With the help of the dash to dock extension, I wanted to hide the dash-panel in the "overview" menu in the manner of a classic, clean gnome-shell. In the extension settings, I just turned on the "smart hide" item and simply unchecked the "auto-hide" and "overlay windows" checkboxes.
The Dash panel has disappeared from the desktop, as I wanted, but when moving the cursor to the edge of the screen where the panel was located, tooltips with the names of applications on this panel still appear and you can interact with them, although the panel is removed from the desktop. Tell me, is this a bug, and then how can it be fixed, or is it a feature that is also in the standard gnome-shell, and you have to put up with it?