Syntax highlighting off, to make it easier to publish