> should we delete dviware/dvidvi now? If Lionel would like to become the maintainer of dvidvi and make separate releases, uploaded to CTAN as usual, that would be best. Lionel?