[docs] Bring `conclusions.rst` up to speed, fix links in `packages.rst`#3653

CodingCellist merged 6 commits intoidris-lang:mainidris-lang/Idris2:mainfrom

CodingCellist:readthedocs-fixupCodingCellist/Idris2:readthedocs-fixupCopy head branch name to clipboard