I wrote too fast. "It ain't over till it's over."
The elm tree is still up. They didn't take it down; they removed just a few large limbs.
But it can't be healthy. I don't know if it's completely dead, but it hasn't budded like it should by this time of year. The other elms on Third Street are fully fledged with leaves. On this one the only buds I can see are way high up, but they look like winter buds.
I will keep you posted. In honor of the tree.