FORMAT: document latest file format change