It’s in the ROTJ novelization. Along with the name “Palpatine”, which isn’t in the film of ROTJ either.
Sorry to say, but I don’t think the Novelizations really matter. The vast majority of audience members don’t read those. If it’s not in the film, it isn’t “known” to the audience.