Is there a way to disable this for a run, i.e. to get the
^^-notation with a format build with -translate-file?
Just specify -translate-file=something on the command line, I think.
I guess we need to create an ascii.tcx. Somehow I thought there was
already a way to do it, but it's not coming to me.