Hi Gavin, I am fine with everything, just one small comment:
> it at this stage. I doubt that this feature is used that much anyway. I would not speculate on that, but would check at least the texi documents of some/many/all of the easily accessible docs, like everything that is in Debian. The recent upgrade with the removal of some features created quite some havoc in Debian with many packages suddently breaking, so in the interest of the software developers, it might be good to check beforehand. All the best Norbert -- PREINING Norbert + TeX Live & Debian Developer + http://www.preining.info GPG: 0x860CDC13 fp: F7D8 A928 26E3 16A1 9FA0 ACF0 6CAC A448 860C DC13
