/**
 * Implements `DownloadFile(path)` operation.
 * Send this message to download a file.
 */
message DownloadFile {
  string path = 1;
}