On Tue, Dec 20, 2005 at 01:25:34PM -0500, Norman Ramsey wrote: > > Next time, could you please send this patch as attachment? This makes > > the life of the doc maintainers a bit easier (particularly with big > > patches). > > Yes, of course --- is text/plain the appropriate MIME type for patches? Yes. Diego