Eu não me importo. Recentemente notei ( 1 ) que a chave pode ser acessada via gconftool-2
:
$ gconftool-2 --all-entries /apps/devhelp/ui
fixed_font = Inconsolata 12
use_system_fonts = false
variable_font = Ubuntu 12
Eu acho que até agora (Ubuntu 13.04), os desenvolvedores do Devhelp não adotaram completamente o GSettings.