Github is using JavaScript to navigate anchor tags.