__deprecated__ string unentity(string s)
Helper function for replacing HTML entities with the corresponding unicode characters.