Acontece que existe este pequeno aplicativo chamado "Aplicativos preferidos" e você pode configurar o seu navegador padrão lá. Eu percebi isso, 2 minutos depois de postar minha pergunta. Bem, três coisas são um mistério para mim:
- Por que meu padrão foi alterado?
- Como um usuário "novo" deve saber sobre esse utilitário "Aplicativos preferenciais"? Este utilitário não está no lançador, e eu apenas recordei isso por pura sorte.
- Por que as configurações no Firefox e no Google Chrome não estão funcionando?