Make html anchors configurable (and disable by default) by using --html-anchors flag.