I just spent some time checking the Internet for hints as for how to send
the content of the console to the printer. No luck.
Of course, I can simply copy/paste the console content into a text editor
and print it from there. That's a bit cumbersome for such a simple task,
though.