That's what I thought.
I'm not even sure if ROTJ was remixed in 1985 (or 1993 for that matter), and I can't seem to get a straight answer on it. My assumption would be that there is a 1983 (theatrical) mix and a 1993 (Def. Coll./"Faces") mix, but no 1985 remix.
Then again, it could be that the 1983 (theatrical) mix was never released on home video, and the only ones we have access to are the 1985 and 1993 mixes of Jedi.
Sadly, no one really seems to know.