Diff HTML-Highlight-0.200.0-r1 with a HTML-Highlight-0.200.0-r2

Thank you!