HTML encode "registered trademark" symbols so they display properly