I had noticed some discrepancies between the default values listed in
htdoc/attrs.html and htcommon/defaults.cc, so I finally took the time
to compare them fairly extensively, and here are the corrections I came
up with. By the way, I always thought that .tgz and .rpm should be added
to the list of default bad_extensions, but I'll leave that to Geoff. :)