More notes in HISTORY.md