Broken header link from benchmarks page

[mileslucas]

Hi 👋 just found a couple broken links on your webpage!

When you are on the benchmarks page if you click the "tutorial" or "docs" header links, they redirect to /docs/benchmarks/docs/tutorial/ or /docs/benchmarks/docs/ instead of the appropriate index pages.

[nvasilakis]

Hi @mileslucas, thanks for reporting this — we're fixing it!