Frontend-GNOME: show codepage number instead of KOI8-R/U in encoding list (closes GH-81, #474)