While your point still stands, don't you think there's things you could do to help your site index better on that topic? It has no meta data like keywords and descriptions, no robots.txt/sitemap.xml, the links to the /docs pages are hidden under an overlay that requires JavaScript to show, that URL has 10 different <H1> tags, etc.