確かに。texlive はデカ過ぎだ。そのくせに、xdvi なんか退化してるし。