HISTORY.md: Tweak. Add migration script.