michaelg/dev: links for ntnx-tool-of-debugging