Documentation: use a 'console' highlighter for terminal output examples. This