HISTORY.md: Tweak