static S html_smallSmartBotLogo() {
  ret ahref(smartBotOfficialURL(), "Smart Bot");
}