Convert a file in an 8-bit character set to one that uses Knuth's ^^x notation for non-ASCII characters. The author is Bernd Raichle.