true for getdate.texi: the file is added to packages via the getdate Getdate is a special case. It is one of the very very few .texi files that is actually used in multiple manuals.
That is, I'm not aware of any other manuals that use alloca*, etc., and given the content, I can't really picture where they would be used. In any event, if they do get added to another manual, the headers could always be adjusted at that time. We'll see what Bruno says, since as far as I can recall he wrote most of them. Thanks, karl
