html_decode             Decode a character vector
