History.md: update names.