.tex files for the final
   documentation (using noindex and nodefs to produce cross
   references).  It seems that noweb uses the same labels (for TeX
   references) in different files. (The file names and the identifiers
   defined in these files are quite similar).

<p><blockquote><b>A.</b> Noweb uses the heuristic made famous by FORTH: names are reduced to
   the first three characters plus the length.  Changing your file names
   should be sufficient.  If you don't like that, you could use -filter
   w