On Wed, Apr 16, 2003 at 11:03:20AM -0700, Zack Weinberg wrote: > (to the list:) How about we remove these options from 3.2.3 and 3.3 as > well? It does not help anyone for them to be present but nonfunctional. Um, sure. r~