I have now managed to get the Web Editor to work by bypassing the company network by connecting my PC to my phone's wifi hotspot instead.
So it seems to be a firewall or antivirus issue preventing the Editor (using Java?) from communicating with the host.