code: function mkid (id) {
      id = id.toLowerCase();
      id = xre.replace(id, xre("\\s+", "sg"), "_");
      id = xre.replace(id, xre("-", "sg"), "_");
      return id;
  }
docs: /*  create an id suitable for HTML anchors/hyperlinks