HISTORY.TXT updated.