[shevy-java]

> it doesn't seem like this is as dire as the author is trying to make it out.

First you make it as an option.

Then you remove the option.

This is GNOME development style.

[takluyver]

Not unlike Firefox, Gnome has a lot of hidden options which aren't exposed in the regular settings UI. There has been an option to control 'primary paste' for 9 years, and it's exposed in Gnome tweaks. There's no obvious reason that changing the default means the option will be removed entirely.