How do I decode Numeric Character References (“&#xx”) in Unicode characters?

Select the character reference, go to Help | Search Commands…, search for HTML/XML Character Reference to Unicode and run the command.