HTML texts are escaped for addShortText or other badge-related features since groovy-postbuild-2.4. I decided NOT to revert that change as it causes security issues.
addHtmlBadge is introduced since badge-plugin-1.3 and it would be useful also for groovy-postbuild and can help users used HTML texts in addShortText.