static void serveHttps_botCompany() {
  serveHttps_botCompany(443);
}

static void serveHttps_botCompany(int port) {
  File keystore = secretProgramFile(#1002017, "keystore.jks");
  S pass = loadSecretTextFileMandatory(#1002017, "keystore-pass").trim();
  serveHttps(port, keystore, pass);
}