Function linkify 

fn linkify(
    text: &str,
    up: &str,
    sections: &BTreeSet<String>,
    bypasses: &BTreeSet<String>,
) -> String

Markdown with §, invariant and bypass references as links, outside code spans. up leads from the page to the snapshot root.