Mention the logging system

Also, highlight code in documentation.