add docs link in topbar, hide current lang from lang-chooser dropdown-toggle