Make HISTORY file somewhat briefer, especially wrt changes for v0.5