Add DevToolLab to the Developer Tools Discovery section#2

Moksh45 wants to merge 1 commit intoMaxWenzel:masterMaxWenzel/tooling:masterfrom

Moksh45:devtoollab-updateMoksh45/tooling:devtoollab-updateCopy head branch name to clipboard