Eventually this happened:
Three weeks, more or less, from my exposure to clearing the hurdle. Mary, being tougher than I, got it done in two.
For the better part of the first two weeks I was in bed ten hours every night, plus an hour or two of afternoon nap (no milk & cookies, drat), plus dragging around the house getting nothing done.
No major health problems, good blood oxygen levels throughout, no loss of smell apart from what you’d expect during three days of complete nasal blockage, and we’re both feeling OK-ish now.
However, we are making more than the usual number of stupid mistakes, which is one way we know we’re not really OK yet.
Back to the Basement Shop, with considerable caution …
Memo to Self: That was the first time in four years you didn’t wear a mask in close quarters. Don’t ever do that again.
The Smell of Molten Projects in the Morning 
Spam comments get trashed, so don’t bother. Comment moderation may cause a delay.