Fix up r50223: moving a wrongly-moved entry back from HISTORY to RELEASE-NOTES