Implement auto-hide for overview map
The gtk4 port doesn't currently have auto-hide for the overview map. That needs to be implemented (and should be a lot simpler in GTK 4 than it was in GTK 3).
Most likely, this can be done with a GtkEventControllerMotion on the page and checking for enter/leave signals.