industryterm:desktop dev tools