In my previous post I displayed 2 images, one an original raw and one an upsized jpg, to show the comparison between how the color displayed. In the actual test I created 3 output images, one sRGB, one ProPhoto and one AdobeRGB, each from the original raw, but only posted one of the outputs, commenting that all 3 looked as washed out as the one I posted.
I looked more carefully at the other two and realized that they not only were washed out, but that one of them, the sRGB image, contained what looked like cars driving out of the sky. Here is the image in Photoshop:
Here is a crop of the upper left corner:
The cars, or whatever they are, are only in the sRGB upsized image, so I assume there is some bug causing this and I wonder if anyone else has seen this.