Fix HISTORY hint in RELEASE-NOTES-1.23