Manuel Moos authored Dec 24, 2020 and Manuel Moos committed Dec 24, 2020

Its job was to turn absolute into relative links. All our
links now already are relative, so it is no longer needed.