that… looks like it was a 480p source, playing on a 720 display.

Yeah, it might be just slightly higher quality than the broadcasts originally were, but not much.