Save with broken Leiden+ malfunctioning

[samosafuz]

I'm teaching a DCLP-focused encoding webinar this spring, and in yesterday's session it was brought to my attention that PE's save with broken Leiden+ button is malfunctioning.

I tested it myself, using valid Leiden+ initially (which saved properly and got the blessed green bar), before deliberately making a small mistake and resaving the file. Doing so produced the expected Leiden+ error red-bar warning, but when I subsequently clicked on save with broken Leiden+, it simply reverted to the previous version, whose Leiden+ validated.

Anyone who uses the save with broken Leiden+button is going to see their changes lost, which will be the cause of no minor frustration.