updates to Introduction, plus the correct Gitlab pdf
David, please merge to master and trigger the builds again, thanks.