Hi,

this PR polishes some links to avoid redirects (and one broken anchor).

Cheers, Christoph

Comment From: snicoll

Thank you very much again, Christoph.