// The index changed. We'll need to copy the previous entry.
                tailIndex = newIndex;
                tail = e;
              }
            }
            newTable.set(tailIndex, tail);

            // Clone nodes leading up to the tail.
            for (E e = head; e != tail; e = e.getNext()) {
              int newIndex = e.getHash() & newMask;
              E newNext = newTable.get(newIndex);

                // The index changed. We'll need to copy the previous entry.
                tailIndex = newIndex;
                tail = e;
              }
            }
            newTable.set(tailIndex, tail);

            // Clone nodes leading up to the tail.
            for (E e = head; e != tail; e = e.getNext()) {
              int newIndex = e.getHash() & newMask;
              E newNext = newTable.get(newIndex);

        final int tailChars = bodyBudget - headChars;
        final String head = content.substring(0, headChars);
        final String tail = content.substring(content.length() - tailChars);
        return head + omitMarker + tail + suffix;
    }

    /**
     * Builds the source titles suffix string (e.g., "\n[Referenced documents: Title1, Title2]").