django/djangoproject.com — pull request #64 by carymrobbins (2013-11-19 01:06:54+00:00)
Title: Added handler to include #id on document version link click.

When you change document versions while on a page you lose the # anchor in the url. This JavaScript handler ensures that the # anchor is retained.