An extension to vanilla gameplay and features
Extends and enhances Minecraft's built-in Server Management Protocol (JSON-RPC over WebSocket).
