> It is not my our job to micro manage their dev resources.
But my job does include heavy use of their tools. And I have dozens of bugs filed on the Jetbrains IDEs - some minor but some major. So in fact their allocation of dev resources does affect my ability to do my job, even if I'm not in charge of allocating their resources.
