TeX extension for flexible input/output reencoding
