got a 'TeX capacity exceeded, sorry [save size=5000].' error.
Increasing 'save_size' in texmf.cnf solved it.
FWIW, I increased it to 50000 for the next TeX Live release. I don't recall
exactly why, but maybe because I ran into exactly the same problem with
gnulib.texi :).
Maybe this should documented somewhere?
Sure (as far as I'm concerned), please add it to the manual somewhere.
Best,
karl
