User manual#31

mariobl wants to merge 2 commits intogottcode:user-manualgottcode/tanglet:user-manualfrom

mariobl:user-manualmariobl/tanglet:user-manualCopy head branch name to clipboard