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