7.3.4. Weaver Bugs

The table of identifiers gets wide under Latex, the items don't wrap.