doc: some more synopsis conversions and fixes#2036

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

jnavila:git_submodulejnavila/git:git_submoduleCopy head branch name to clipboard