Opera no Budgie Remix: a janela maximizada não tem borda superior

Question

No navegador Budgie Remix Opera falta a margem da janela superior quando a janela é maximizada (o que, como dizem, é um recurso, não um bug, eu acho - eu já vi isso no Solus com Budgie).

Pior,àsvezesobotão"Fechar" também desaparece:

Euprefeririaisso:

Mesmoassim,ajanelapodeserarrastadae minimizou com o botão direito do mouse , mas não há botões próximos, minimizar, (des) maximizar.

Eu já vi isso relatando um bug budgie-remix aqui .