Added nodev to Debugging tools section