Thanks for the extension. This extension looks very useful.
I looked at funtoo wiki but I don't see how to configure ConsoleOutput in LocalSettings.php. Additionally, using <console> tag does not appear to provide the coloring in its output. It does appear to add a user prompt, however. For example, I tested <console> here by changing <pre> to <console>: https://www.cryptopp.com/wiki/ChaCha20#Key_and_IV_sizes.
I feel like I am missing something like $wgConsoleOutputForeground = "green"; and $wgConsoleOutputBackground = "black"; in LocalSettings.php. Or maybe something like $wgConsoleOutputStyle = "GreenOnBlack"; or $wgConsoleOutputStyle = "GreenOnBlack.css";.
Could you provide some instructions here, please?
Thanks in advance.