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