static Web web_replaceDollarVars(Web web, final SS map) {
  for (WebNode node : web.nodes)
    web_modifyTexts(node, func(S s) { formatDollarVars(s, map) });
  ret web;
}