Hello again sysadmins and savannah hackers, I belatedly realized that the mailman html archives presumably are used for lists with private archives, of which there are about 100. I don't know an easy way to only generate the html for private archives, while omitting it for public. Oh well.
Sorry, Karl
