The bug should be reported to the GNOME bugzilla by someone who has an opinion about what to change, the default seems reasonable though
The bug should be reported to the GNOME bugzilla by someone who has an opinion about what to change, the default seems reasonable though