Revert "#9631: Hint GNOME 3 window manager to use dark window borders"

This reverts commit 74c9242d005336b7db06af5ff0780fd862b7c900.