Since "Online Manual" "Documentation" and "Docs Site" mean pretty mudh the same thing to almost everybody, I think it would be less confusing if the link to the obsolete docs site would be labelled clearly, to show it is "old" or "former" or "obsolete".
Could the fly-out menu on the "Online Manual" menu button say something like "former docs site" or "obsolete docs site" or even "old docs site"?
Thanks
I think "Old docs site" sounds fine. :)
"Outdated"?
"Obsolete"?
Deprecated :D
+1! :)