... and I am wondering whether xdvizilla is useful at all for anything Seems like it could be removed to me, but this is a question for the xdvi maintainers. Stefan, I see you're on this list ... ? karl