changed super to sup in html tags

This fixes bug 10905. getting htmltext is incorrectly using "super" instead of "sup" for superscript.