Stereo Group Channels export as a mono-summed stereo files

Yes, because the contiributing tracks that are still going to the Master out are soloed also.