doc: flock of small fixes to various documentation files#2016

jnavila wants to merge 2 commits intogitgitgadget:mastergitgitgadget/git:masterfrom

jnavila:doc_small_fixupsjnavila/git:doc_small_fixupsCopy head branch name to clipboard