Fix issue #731 - RSS text strings on options page being double escaped