New docs tool: Tool for exporting Web IDE projects for use with Particle Workbench! You can select some (or all) of your Web IDE projects and it downloads a .zip file fully populated with source, project.properties files, and .vscode directories so you can just open the top folder (multi-root) or individual subdirectories as projects.
https://docs.particle.io/tools/device-programming/web-ide-exporter/
