I just looked up ESB on disney’s site. The release date listed is June 20, 1980 (the day it went into wide release), but the running time is still the SE.
It doesn’t say “theatrical version” there or on RotJ’s page either, though. RotJ also lists the original release date with the SE running time.