However the bigfoot package is only necessary if a certain package
option of footmisc is used and not by default. Shouldn't it be
treated as a soft dependency
Yes. Duly removed. Thanks Sam. (I failed to check this when the
dependency was suggested last week. Sigh.) -k