I don't really understand the rationale either, but it's easy to add a hot bottom edge with this extension:

https://extensions.gnome.org/extension/4222/hot-edge/