Add HISTORY.md note about pull request #8