Election for Colin Grant as Committer on Eclipse Theia

I hereby nominate Colin Grant for committership in the Eclipse Theia project.

Colin, working with a couple of his colleagues, is behind the much-improved Preferences UI Widget, that was merged this spring. Since then he continued to provide support this component, contributing several follow-up PRs (some pending review). During these activities, Colin has demonstrated he is willing l to work with the community, take review comments constructively and is willing to make suggested changes and improvements after discussion. I believe he will be a good asset to the project.

Please see below for more details about Colin's contributions to the project, so far:

PR's merged:
· Preferences UI Widget (#7105)
o Coauthors: Kenneth Marut, Nicholas Stenbeck
o Description: PR was started early February 2020 by Colin's colleague Nicholas Stenbeck. Then Collin and colleague Kenneth Marut inherited this effort in March of 2020 and worked together closely to improve the PR, answering review comments, until it was approved. Merged on May 6, 2020.

· Preferences: Visible Leaf Count (#7764)
o Description: Added annotation for the number of visible child nodes when using search in preferences view.

· Preferences: Ensure Tree Selection Visible (#7773)
o Description: Fixed a bug in the scroll synchronization between preference widgets

· Preferences: Responsive Scope Changes (#7936)
o Description: Improved the performance of the preferences widget when switching scopes

· File Dialog: Fix Error in File Filters (#8073)
o Description: Fixed an error in the code generating the file filters for file dialog widgets.

· VSX Extension Widget: Improve Styling (#8086)
o Coauthors: Kenneth Marut
o Improved the styling and responsiveness of the VSX Extension widget for displaying data about available extensions

PR's pending:
· Preferences: Handle Save with Open Files (#7775)
o Description: Saves an open preference file when preference changes are made via the UI, or warns if the file is dirty.

· Preferences: Improve Filter Performance (#8263)
o Description: Improves performance of the preference widget search functionality

· Tree Widget: Add Filter to Tree Search (#8540)
o Description: Adds filter functionality to the searchbox in tree widgets

Reviews:
· Preferences: Update 'Modified in Scope' Message: (#8025) – a bugfix related to display of modified scope labels in the preference widget
· Preferences: Input Validation for Numerical Inputs (#8264) – added a validation message providing guidance for numerical inputs in the preferences widget
· Preferences: Header Style Improvements (#8512) – distinguished category and subcategory headers and improved the display of preference labels

Issues:
· #7709 – Problems handling deletion of preference files
· #7721 – Missing preference events when editor open (resolved by #7775)
· #8072 – A bug in the file dialog (resolved by #8073)
· #8078 – A bug regarding widget sizing on different platforms
· #8169 – Task service usability
· #8380 – Request to match VSCode's searchbox filter functionality (resolved by #8540)