Dock for GNOME Shell 40+. Does use native GNOME Shell Dash. Very light extension. Hover the bottom of your screen and GNOME Shell dash will appear without overview and will hide when you leave the dash. Native GNOME Shell click behavior is modified: minimize if one window is open, overview if many windows are open. Scroll on the dock to change workspace. Some preferences in UI (thanks @rastersoft). I'm not notified of messages here, please report bugs only through GitHub.
Note: Binary files aren't shown on the web site. To see all files, please download the extension zipfile.
Now I think it's quite ok! I won't publish anymore code every 10 minutes. ;-) You can see that the dock width setting makes the x_offset useless, that I realized when I tried to make the reveal box at the same size as the dock. That worked but there was an refresh issue here again (when changing monitor e.g.), so I kept the whole screen bottom to reveal dock. (Good for users with few apps.) I feel that the new reveal 1 px high and 160 ms delay is roughly ok. Do you have a mouse cursor pressure code in mind for future ref, if any?
You can learn it from HotCorner class: https://gitlab.gnome.org/GNOME/gnome-shell/-/blob/65450a836ee9e0722a2d4c3327f52345eae293c6/js/ui/layout.js#L1066