Update extensions to fix issue discussed in !895 (comment 126159) and also update theia to its latest version.