That's exactly it. Dolby stereo is backwards compatible with earlier mono systems but since Star Wars was the first film to complete its soundtrack in the then new system, they didn't want to take the chance if there were problems. So the mono mix was created with further tweaks made by George Lucas.
Btw, whatever happened with this 1st generation VHS tape version?