I most definitely agree. However I don't know how they would go about integrating the IDE while maintaining the healthy git workflow that many have come to love.