Sorry to see you go 

Hal, I'm sorry to hear you are retiring, but I completely understand, given you are no longer enjoying Wikipedia. Perhaps after some time away, you'll reconsider. We haven't had many interactions in the past, but I've seen many of your edits in the history of articles I've edited in my time here. Sincere thanks for your many contributions over the years, and let me assure you that they haven't gone unnoticed. Best of luck in your future endeavors.