simplify the use of set of ambig as archives#1424

VGPReys wants to merge 2 commits intomainhaddocking/haddock3:mainfrom

ease-tgz-ambighaddocking/haddock3:ease-tgz-ambigCopy head branch name to clipboard