So sad to hear this. Condolences to his family and to all my former colleagues at Red Hat. This is a huge loss for the open source community.