[#72870584] Update links now repo has moved

GitHub redirects but this is worth doing for clarity.

Please check carefully in case of over-zealousness :)