Redirect from #-<tab-name>- to /tab URLs. (#3530)
Redirect from #-<tab-name>- to /tab URLs. (#3530)

* Redirect from #-<tab-name>- to /tab URLs.

* removed print

* doc
dart-lang/pub-dev,dart-lang/pub-dev,dart-lang/pub-dev,dart-lang/pub-dev