A great shock indeed.
RIP Alan, you will be missed.