Since the code example is enclosed in the HTML tags <pre>, the command line comment tag has to be escaped.
