On Tue, Oct 19, 2004 at 06:24:00PM -0400, Daniel Jacobowitz wrote: > - While changing a user-specified section name is a little dubious, > i.e. probably no one thought about it... IIRC, HJ argued this was a feature. r~