Merge "Doc change: removing debugging tips from nav"