brian/prod: links for ntnx-tool-of-debugging