Após uma nova instalação de hardware, encontrei o "GNOME Tweaks" no aplicativo Software e o instalei. Posteriormente, corri no terminal:
sudo apt install gnome-tweak-tool
Para minha surpresa, ele instalou outro pacote, não uma atualização.
A ferramenta Tweak funciona bem, mas estou me perguntando se agora tenho 2 versões da ferramenta instalada e, em caso afirmativo, qual devo remover?
Atualização
Eu descobri que gnome-tweaks
é o pacote principal para ter instalado:
$ apt show gnome-tweaks
...
Breaks: gnome-tweak-tool (<= 3.27.4)
Replaces: gnome-tweak-tool (<= 3.27.4)
APT-Manual-Installed: yes
...
$ apt show gnome-tweak-tool
...
Source: gnome-tweaks
Depends: gnome-tweaks
...