They were not properly being synchronised with the user's / workspace settings.
STS 4 provides a set of extensions to the Visual Studio Code editor. Those extension projects are hosted here.