[#930220] encode user input tags