Suggestion: add a way to reset the lines anchors. When I click on a line link I can't see any way to reset it, except removing it in the browser's address bar.

Suggestion: add a way to reset the lines anchors. When I click on a line link I can't see any way to reset it, except removing it in the browser's address bar. Maybe making the filename in the breadcrumb clickable could be a good fix (at least, that's the first point where I looked to when I wanted to reset the anchors)