Hi,
I added a branch to my personal repo with additions to the
documentation, covering this conversation.
A new advanced topic for changing gnome settings is added that contains
the most common commands for the gnome configuration tool and a warning,
that changing settings could lead to lesser privacy.
Here is my branch:
https://github.com/UlrichViefhaus/dev-tails/tree/gnome-settings
Don't know how many people need this. But maybe it could reviewed and
added to the official docs? I could also write a German translation.
Kind regards,
Ulrich
