Update and tweak HISTORY.md