Raul Miller 2 Jan 2000 18:25:47 -0000
I second the following proposals: 53756 53757 53758 53760 53761 53762 53763 53755
With spelling errors fixed, of course. I think that's everything Branden suggested on Dec 30 except for 53759. Thanks, -- Raul