static S uploadWebs_1() {
  byte[] data = gzipBytes(loadBinaryFile(getProgramFile("webs-made.txt")));
  ret uploadFileToDiagramServer(data, "Webs from program " + programID() + " on " + computerID() + ".gz");
}