Election for Thomas Mäder as Project Lead on Eclipse Theia

Earlier this month was the 3 years anniversary of Thomas' first contribution to the main Theia repo (1). He has since become a committer and frequent contributor (2). He has taken technical leadership in important project areas such as Task system improvements to achieve better compatibility with vscode tasks, improving logging (3) and our Monaco Editor integration and its periodic upgrade (4). In these initiatives, Thomas is helping lead contributors from several companies, to make targeted improvements deemed commonly necessary, for a better Theia framework through collaboration. .

The project is facing challenges on the technical side - some original code, not originally intended to be vscode-compatible, needs major refactoring. We need to keep-up with Monaco, LSP, vscode extensions API and more, so the challenges abound, and can't be addressed by any single person, nor should it all be on one's person's shoulders. I think if Thomas can continue with such initiatives, and in doing so, help raise other contributors to his level, we will all greatly benefit. Please join me in welcoming Thomas as an Eclipse Theia project co-lead!

(1) first commit: https://github.com/eclipse-theia/theia/commit/bac1812628b1b35be16145024…
(2) commits in main repo: https://github.com/tsmaeder/theia/commits?author=tsmaeder
(3) Logging: https://github.com/eclipse-theia/theia/issues/9545
(4) Latest "Monaco upgrade": https://github.com/eclipse-theia/theia/pull/9154