On 2006-05-25 01:30:45 +0200, markus reichelt wrote: >> In short, the benefit of changing names is minimal. > I agree. Incidentally, so do I. -- Thomas Roessler · Personal soap box at <http://log.does-not-exist.org/>.