Update HISTORY and documentation