Document the change of the on-disk format in 1.8.0