So, in order to come to some conclusion here, I'll give a +1 for removing the interface tab. (Kinda obvious, since I wrote the patch in the first place...). I'll be more than happy to work on fixing up the docs afterwards.
Can we get some response from my fellow release team members ? _______________________________________________ gnome-i18n mailing list gnome-i18n@gnome.org http://mail.gnome.org/mailman/listinfo/gnome-i18n