My deepest condolences to Sean’s family. He was a friend and a work colleague who will be greatly missed.