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.