(from https://github.com/sagemath/sage/pull/35015#discussion_r1100079583) They can be replaced by sagemath/sage; they were not correctly rewritten when the new repository was put in the final location. (sage-prod is a redirect that continues to work indefinitely, so this is not urgent.)