Improve text of stub HISTORY file.

Per Peter Eisentraut.