I don't think it's appropriate to post this, frankly, but some distasteful speculation was initially made here about suicide when Voevodksy passed. I wanted to

I don't think it's appropriate to post this, frankly, but some distasteful speculation was initially made here about suicide when Voevodksy passed. I wanted to set the record straight.