At least they have improved the new tool so that this can happen on a server instead of on my local machine. It used to be that we had to create these proofs on our own machines, which meant that we couldn't use them for other vital tasks (like updating LJ).
Once they are done, I'll have to update the 5-page Table of Contents. That'll be tedious. I hate long, detailed tables of contents.
Apart from that, it's nice to have something to do.