SKot said:

Looking at the official Blu-ray release of the Holiday Special cartoon, the subtitles definitely spell it "Captain Kazan". But they also call the ship the "RS Reekvange", rather than "RS Revenge".

Reekvange? Really? Was it an error, did they know something we don't, or did they decide to change it because "Revenge" sounds more like a name for a Star Destroyer than it does a Rebel Cruiser?

I just watched those opening bits... and I can just about hear "Reekvange". I don't think that's what he's saying, because there wasn't any reason to get that convoluted back in 1978, but there is precedent.

Remember in 1983 when Emperor Palpatine went on about Luke's friends on the "Century Moon"? Every time I watch that I have to remind myself that he's saying "Sentry".