Re: Spelling changes

OK, I'll skip the paddings -> padding change.  I suppose it's
arguably ok since we're inventing a new term using an existing word,
and that new term has different grammar.

-David

-- 
L. David Baron                                 http://dbaron.org/
Mozilla Corporation                       http://www.mozilla.com/