HISTORY.md: Formatting