Thanks Art, Stuart, for good ideas. Why didn't I think of just MIF-ing it? I will try both methods and report back. Meanwhile, I'm pretty well advanced in manually massaging the MIF (he wrote alliteratively), using a macro in a text editor. The fact that the problem is signalled by the line '<String `['>' makes this possible.
-- Steve
