Use HTML character code to escape asterisk

The kramdown syntax uses asterisks. Asterisks (required for the syntax of star-projections) can be escaped by using their HTML character entity code.