I understand what you mean. Maybe my example of gnome tools wasn’t a good one.
But nonetheless, would you put all your dev tools in a single toolbox or create toolboxes for each dev tool environment?
Example, would you put java project, python project, and tilex in the same toolbox? Or put java project in one toolbox and python project in another and tilix in a third. Or a different approach.
What’s the overhead of using multiple toolboxes?