Thanks for the tip. At first I couldn’t figure out what option you were referring to but then I though of the “Clip out of gamut colors” at the top of the exposure tab.
It did the trick! The aforementioned tools can now recover highlights blown by other tools. For anyone else looking it’s the checkbox in the following screenshot.
