Add comment about new settings file format to manual.