Add docs about the protocol and file formats.