Can't flash latest DeviceOS firmwares using Workbench

I’m looking at the list of DeviceOS versions in VSCode, the “Choose the version you would like” drop down that is populated with all the past versions of DeviceOS, and I can only see version 1.5.0 and below. The latest versions, e.g. 1.5.2 are not visible. I thought this updated by itself. How can I update with manually or fix this problem?

You can use

Thanks, that didn’t work.
I removed the .particle folder (I’m on Linux) and reinstalled but no dice.
I was using VSCodium. So I uninstalled it and installed VSCode instead and that seems to have fixed it.
No idea why the plugin should stop updating like that…but must be a problem with the open source version.