Comment by oortlieb

Thanks for pointing this out! We’ve fixed the links in the navbar to point to the correct places.