Tint2 não mostrando todas as janelas desde 17.10

Question

Após a atualização recente para o Ubuntu 17.10 e a mudança para o Gnome, o Tint2 ainda funciona, mas não mostra todas as janelas. Especificamente, as janelas do terminal não aparecem (o bot não se limita ao terminal).

Aqui está uma captura de tela, onde minha janela atual do Firefox está visível, mas não meu terminal.

Já passei por todas as configurações do Tint2 sem encontrar nenhuma alteração adequada. O mesmo comportamento acontece em outro computador. Se eu executar uma sessão com o Unity em vez do Gnome, o tint2 funcionará como esperado (todas as janelas aparecem).

Este é um comportamento padrão? Existe alguma correção conhecida?