PR failing due to link checker

It’s just a probspec-sync PR, but the links that are failing are, oddly, reddit and stackoverflow.