Thank you. I've been telling people that for a while now.
The best tools rarely (never?) come from top executives down to the hands-on-keyboards people.
The programmers are the ones in the best position to determine what will help them do their jobs,
and frequently those tools are not on the approved lists because they are new and haven't (yet) made it to the Gartner "Magic Quadrant".