não resolvido, afinal de contas (problema reapareceu).
A atualização de ontem (do Firefox e do firefox-globalmenu (integração de appmenu de unidade para FF)) resolveu o problema. O firefox-globalmenu (integração de appmenu de unidade para FF) foi a única coisa que eu mudei recentemente em FF, então eu pensei que provavelmente era a causa do mau funcionamento.
Então, agora, na mesma sessão, de repente (após algumas trocas entre as estações de trabalho), o problema reapareceu.
: (