footer-downloads.html and header-downloads.html are generated now
(those are the ones for Apache directory listings for downloads)