Corrected double-decoding of HTML entities in htmltext attributes (closes #3919)