Semi-fixed HTML in @example code.