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/
