Relógio na barra de tarefas não atualiza até que o mouse se mova

Alguém pode verificar isso por favor?

Depois de atualizar para o Ubuntu 20.10 ontem, notei que o relógio na barra de tarefas não atualiza mais automaticamente. Eu tenho minha barra de tarefas configurada para ocultar automaticamente. Quando movo o mouse para que a barra de tarefas apareça, o relógio está sempre atrasado. Somente quando eu movo o mouse mais uma vez, mantendo a barra de tarefas aberta, aparece a hora correta.

Eu uso a extensão Gnome Dash-to-Panel.

Esta não é a minha ideia de um relógio. Um relógio deve ser legível em um piscar de olhos e definitivamente não deve precisar ser cutucado para dar a hora certa.

EDIT (janeiro de 2021):

O comportamento parou. Tanto o relógio quanto a porcentagem da bateria estão corretos sempre que exibidos. Percebo que ainda estou no Gnome Shell 3.38.1, mas estou no Mutter 3.38.2. Meu palpite é que a atualização do Mutter removeu o bug.