underthought (again)

And it insisted that it wasn't done, at least two more times since my last update. It *seems* to be done now. We'll see. Since it seems to know better than I do whether it's done or not.

Done