gnome-help: deprecated ON and OFF gui labels

[Rafael Fontenelle <rafaelff gnome org>]

Hi there,

Pages that make mentions to enable/disable features still tell "switch feature <gui>foobar</gui> to <gui>ON</gui>", or OFF. Since GNOME 3.20 (or 3.18? Not sure), the GUI uses something similar to a vertical line ( | ) to OFF, and something like a white circle ( ○ ) to ON.

I'm considering to provide a patch replacing texts ON to ○ and OFF to |. Alternatively, I could create and use PNG images in place of these gui labels.

What are your thoughts on this?

Best regards,

Rafael Fontenelle