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

This reverts commit a4288a37f1ab592794e6bc5317a2e368f8ed202e.