A patch can very well revert a setting and the important part is to initiate a discussion in the GNOME development forums. The key is to assume good will.
As I assumed, there was no movement on the issue. However, if you insist, I will go there and raise the issue more forcefully, in a little while, after I get my work done.