@serge Announcing their departure only has a benefit when they have to endure the possible shaming/shunning that comes with it. This is the fediverse, so we know none of that is even close to happening at this point. That said, if it makes you feel better, go for it.