those things shouldn't be up to users: devs care about upstream and downstream, users don't.
https://bugzilla.gnome.org/show_bug.cgi?id=603145
those things shouldn't be up to users: devs care about upstream and downstream, users don't.
https:/ /bugzilla. gnome.org/ show_bug. cgi?id= 603145