Perhaps others have known, but I just found out that Paul passed away 11 February, 2023.
May he Rest in Peace.
