Fix issue with GitLens extension not working

[MarkFitzpatrickNN]

Currently GitLens is not working. Previously this was working as expected but stopped since the update of theia to version 1.40.

Replication steps

1. Open a new devtainer
2. Go to the extensions tab
3. Search for GitLens
4. Click install
5. The gitlens tab will automatically be open but be missing its icon.
6. An error will appear when you hover over the tab saying something similar to … server IP address could not be found.

[struanb]

As we believe this issue is actually fixed in the latest release of Dockside, we are closing this.