!7

html {
  if (!webAuthed()) ret "Not authed";
  S text = text_tenSecondProfile();
  ret pre_htmlencode("Samples: " + poorMansProfiling_samples + "\n\n" + text);
}