Closes #15 (Describe WebSocket messages in scripting environment documentation)