note that they are the same#722

VGPReys merged 5 commits intomasterhaddocking/haddocking.github.io:masterfrom

rearrange-tutorialshaddocking/haddocking.github.io:rearrange-tutorialsCopy head branch name to clipboard