[tex-live] Conflicting binary/format names: platex is polish and japanese

[Frank Küster]

Dear fellow TeX developers,

there are two TeX formats that use the name "platex", the Japanese ptex
project as well as PLaTeX, a LaTeX with preloaded polish settings and
fonts.  Debian GNU/Linux now has packages for both, but they cannot be
installed and used at the same time: Both use a symlink platex (once to
ptex, once to pdftex), and both want to load platex.fmt.

Even on single-user-systems people might want to have installed both
(polish scientists working about Japan, or the other way round), but on
large multi-user installations (e.g. at universities) it might be even
more needed.

What do you think about that?  Should both rename their formats?  

TIA, Frank
-- 
Dr. Frank Küster
Single Molecule Spectroscopy, Protein Folding @ Inst. f. Biochemie, Univ. Zürich
Debian Developer (teTeX/TeXLive)