Documentation (Markdown and HTML), minor changes to logger