[tor-commits] [tor/master] prop224: Rename padding size def to something less confusing.