Προφανώς έχεις δίκιο.
Η διαδικασία που απομένει είναι να δημιουργηθεί μια αναφορά σφάλματος στο
bugzilla.gnome.org, στο 'product' gedit, component 'documentation' (ή κάτι παρόμοιο).
Αν έχεις τη διάθεση, μπορείς να στείλεις και ένα patch με τη διόρθωση. Ρώτησε αν θέλεις περισσότερες πληροφορίες για αυτό.
Γενικά, στο IRC μπορείς να βρεις κόσμο, ωστόσο συχνά τα άτομα κάνουν κάποια δουλειά και δεν είναι σε θέση να απαντήσουν.
Στην συγκεκριμένη περίπτωση, το κανάλι #gnome δεν είναι το τυπικό για θέματα τεκμηρίωσης, οπότε θα ήταν παράξενο να λάμβανες κάποια απάντηση.
Σίμος