In thinking about this it occurred to me: If we're generating LaTeX in a separate thread, what if the Buffer changes in the meantime? This suggests to me that the Buffer has to be locked, which means that Abdel's "clone the Buffer" strategy is the only one that really works.
rh
