Is Phil Lord really retiring?

Phil, I want to wish you the best and say how much I have enjoyed your posts
on this list.

Jane Holzka