instructions from beginners-resources-pdelab fail
They seem rather outdated. Following https://dune-project.org/doc/beginners-resources-pdelab/ fails miserably:
$ git clone http://conan2.iwr.uni-heidelberg.de/git/peter/dune-installer.git
Klone nach 'dune-installer' ...
fatal: unable to access 'http://conan2.iwr.uni-heidelberg.de/git/peter/dune-installer.git/': SSL: certificate subject name (conan.iwr.uni-heidelberg.de) does not match target host name 'conan2.iwr.uni-heidelberg.de'