Redirecting from /sourcegraph.md.html to /sourcegraph