Thanks for the info. The utility is very simple to use, and as you say, it
does already convert to Unicode or other formats. I could not believe how
fast it was. Converting the Patisambhidamagga took about 2 seconds.
It requires the Indic Times Font, which can be downloaded from:
http://jbe.gold.ac.uk/fonts/tcrUnicode.TTF
It views OK in Internet Explorer, but one cannot enlarge the font. Display
in Opera is poor, though one can then zoom in. One would need to modify
the stylesheet I suspect, though I wouldn't know how to do this.