Part of that progress is a joint decision to refrain from any public internet posts about each other after this one. Private -- as in, not merely friendslocked by via opt-in filter only -- is still permitted, but I hope we'll both be able to be substantially less bitter in those.
If anyone wants to follow the details of what actually goes on in the course of, hopefully, continuing to make progress, feel free to opt into that tight filter via comment here. All comments will be screened and I will not reply to them, so that they don't come unscreened. I'll just add you without saying so.
To everyone else, thank you for being patient with us, and the issue is now closed.