And I just saw your #840.
BTW, please add me to the ping list. How have I missed this for the last couple of years?