Removed announcement about changed history file format.