Updating HISTORY with recent changes.