I took the previous image and applied the maximum strength of my favorite detail-extraction tool to only the sky. As you can see, results weren't so good. So at the time I took the photo, I should have really backed off on the exposure (unless I used HDR). And I need to learn more about histograms, too.