I'm not sure I agree. This command is only used by this extension, so I think it's better to keep the command definition in this file. This is also consistent with the DebugCommands extension.