Update Server-file-formats.md