I'm commenting on the getConsole below that returns a Console *, _NOT_ the one that returns a GUI::Debugger. Is the comment true, if so why?