This makes it possible to use the `user-theme` extension.
Rename `gnome-tweak-tool` to `gnome-tweaks`.