I decided to try, for the first time, quickmask
(am at the book chapter which teaches this)
and image/adj/shadow to bring up the rest.

Chroma noise made it unpalatable so I
color-"corrected" down to 0 for that
lightened area.

See Berkeley Marina set.

(These are a record of my trials and
tribulations in learning post-processing.)