function addAnchor(mode, header) { header.anchor = anchor(header.name, mode, header.instance); return header; }
function addAnchor(header) { header.anchor = anchor(header.name); return header; }
function addAnchor(mode, header) { header.anchor = anchor(header.name, mode, header.instance) .replace("](#", "](?#"); return header; }