@BorekB: AFAIK, DevDiv is part of the 'Tools' part of 'Server and Tools'