[Bengt Richter Wed, Jan 22, 2003 at 03:21:26PM -0800] > [a] Should I have cc'd Armin, Chris, and Holger? > I.e., would that have been courtesy or redundant annoyance? it would have been redundant. holger