My deepest condolences to Paul's family and friends. It was a privilege to work with him for the last 3 and a half years. He will be greatly missed by everyone in the CS team.
