Acredito que isso seja um problema com o próprio Gnome Shell. Ele define as configurações de DPI muito tarde , ou algo assim, então o Firefox (que inicia na inicialização) é mostrado usando uma escala errada.
O fechamento e a reabertura não funcionaram, porque o Firefox continuou rodando em segundo plano. Eu tive que killall firefox
primeiro.
Agora estou me deparando com outro problema: às vezes o Gnome Shell não detecta as configurações de DPI corretas AT ALL e todas as janelas (exceto a barra de título do Gnome Shell) são mostradas muito pequenas ...