Check whether exclusion of docco-classic.html via
Files-Excluded: */inst/misc/*.html has really bad side
effects.

