** A couple of manuals (flymake, newsticker) don't have an "@insertcopying" line in the title page, so the copyright doesn't appear when they're processed. (I'd say the same about widget, but that doesn't have a title page.) Fixed.