Command Toggles

Enable or disable Miri commands for a selected server.