Skip to content

Use URL instead of permalink for highlighting

Fixes #33 (closed).

Merge request reports