Update HISTORY files to match reality.