How to adjust shadows on portraits

How to use Photoshop’s Shadows/Highlights adjustment, together with the History Brush, to rescue an over-dark portrait.

Image by Caroline Bonarde Ucci, under Creative Commons

Download the Photoshop file