Much nicer jump-to anchors
Merge pull request #734 from andralex/clean_anchors

Much nicer jump-to anchors