[VarDumper] encode non-ASCII UTF-8 chars as HTML numeric entities