De alguma forma, ocorreu-me que isso poderia ser causado pelo utilitário unclutter
que eu tinha instalado recentemente. Acontece que esse é o culpado. Assim que soube, consegui descobrir que o problema já havia sido informado, por exemplo, aqui: link .
Além disso, encontrei uma alternativa chamada hhpc
: link . Vai tentar.