I'm not sure this produced a significantly different photo, but I've done another quick HDR image with Lightroom. First, the basic shot, posted the day after my visit to the Joint Security Area on the North-South Korean border:
Here's the first HDR attempt posted a week later:
And here's one with Lightroom 6:
The second HDRI used different source images, but only from a few seconds later. Are they significantly different? Maybe insignificantly? I must ponder...