O problema é que a extensão do Ubuntu Dock parece "desativada" no GNOME TWEAK TOOL, então é impossível desativá-la dessa maneira. Depois que instalei o Dash To Dock, ambas as estações aparecem no modo "traço". Como posso desativar o Gnome Dock e por que não é possível desativá-lo usando o GNOME TWEAK TOOL da mesma maneira que qualquer outra extensão do GNOME pode ser desativada?