for either generic manual (material near back, in "targets"), or for special cross-debugging manuals (material near front, in "invocation"). 2) Allowed $Id: tag to appear as texinfo comment.