Seriously, though, why would they remix Jedi in 1985 anyway? The movie only came out two years prior. It makes much more sense for them to remix Star Wars and Empire to bring them closer to the quality level of Jedi's 1983 mix.
It's my gut feeling that both the 1986 and 1987 laserdiscs carry the original 1983 audio mix.