The links on top of db.torproject.org do not point to what I would expect
When clicking on links at the page:
I get pointed to pages under the torproject.org domain name.
For example "Docs" points to: https://www.torproject.org/documentation.html.en, what I would have expected is it to point to https://db.torproject.org/doc-general.html.