For anyone with more context, could you please help me understand why this wasn't announced earlier? Seems like such a great loss to the community. But, waiting until November to announce the death of a pioneer in July doesn't seem to sit right. Unless there's any historical or cultural context (in which case, I apologize in advance).