A tool for converting documents between Unicode and legacy ASCII based encoding