HISTORY.md has now been updated to be current. Fixes #57.