[anon373839]

> nobody cares at all that it happened

Oh, no. I wouldn’t say that. If that happened, I definitely care: I’m positively delighted about it.