sS preWithIdentifierExplanations(S text, O... replacements) {
  ret pre(htmlJavaIdentifierTooltips(text, replacements));
}