Provide a script to fix the embedded SR URLs broken by the upgrade to Theia tag 1.0.211.
Attach a file by drag & drop or click to upload
