On Apr 30, 2012, at 12:55 PM, Donald Allen wrote: > I should probably have sent this to -devel rather than -user, so here it is. > No, it really does belong in user. Regards, John Ralls