On 10 Aug 2001 00:23:57 +0200, Christian Stimming wrote: > "to check and fix" The conversation today leads me to think "Check and Fix" is currently the best choice. We should probably do the change after 1.6.2, at this point. dave