Add text-encoding.txt, about encoding in JavaScript.