Seems to be available now. There is now a new version of the PLC IDE and a new version of the tools.
Edit: Tested to install the PLC runtime, but failed. Get the following message when pressing "Download":
Error during Upload: Platform 'arduino:mbed_opta' not found: platform arduino:mbed_opta is not installed
Anyone here successful?