Apart from the WebSocket change, I had to uninstall and reinstall Rockpool. "Update" from 1.3.3 to 1.4 wan't available. Sorry, I didn't investigate further what was blocking it, this work-around worked for me and am now on 1.4.

Thanks for the update!