Recentemente eu instalei o Firefox 40.0.3 em um novo sistema. Copiei meu perfil de usuário antigo (criado em uma versão anterior do FF) e até agora tudo funciona.
No entanto, no meu perfil antigo, existem muitas configurações personalizadas de fontes que não fazem sentido para o novo sistema (nomes de fontes alterados, exibição diferente, portanto, tamanho de fonte ideal diferente para meus olhos e localidades diferentes). Gostaria de remover todas as configurações relacionadas às fontes e usar o que deveria estar lá por padrão, se eu não tivesse copiado meu perfil antigo. Para todo o resto do meu perfil de usuário, eu gostaria de mantê-los.
Existe um método rápido para fazer isso, em vez de reverter todas as configurações de fonte para todas as localidades, uma por uma?
Edit: por enquanto, eu aceito minha própria resposta, porque é isso que eu tentei e com o que tenho experiência. Ainda estou procurando a resposta para a pergunta original: como programaticamente ou reverter automaticamente uma certa seleção de opções de configuração para seus valores padrão? Em particular, como restaurar todas as configurações de fonte? Sinta-se livre para discutir;)