This commit is purely to integration test newer versions of the GitPod
workspace image and not supposed to be merged.

Changelog: changed