Andrea, thanks. I have checked your changes into the Manual GIT (I did a little tweaking first, but if you want to tweak what I changed, that is OK).

On Thu, Jun 30, 2022 at 5:31 AM Andrea paz <gamberucci.andrea@gmail.com> wrote:

I tried to change the manual by recommending to build as a normal
user. See if you think it is okay. Particularly the part about the
CinGG desktop icon. Can it also be done without being sudo?

PS: (@Miroslav) I am interested in your steps to build in Debian
(given my inadequate knowledge in compiling); can you explain them to
me?