Making IDE public fails


#1

If I try to use “Share this workspace” (share link at the top right) and click on “public” to enable sharing the editor, (after the confirmation message) it fails:


#2

Also moving this to GitHub: