Hi Dominique and Jeff, Richard just informed me about that bug. I need a golang-org-x-tools package for building Envoy, but I can drop the dependency on golang-googlecode-mango-doc - mango-doc was used only for generating man files, which nobody is using and I don't need them for anything. And the build of golang-org-x-tools itself is green. I'm going to remove that dependency and then let's proceed with removal of golang-googlecode-mango-doc package.