Sad to hear. My condolences to Paul's family.

I always enjoyed his posts and contributions here, and he will be missed.