In reply to a tweet by brucel:

@brucel best wishes on whatever’s next, Bruce. Now get some rest and enjoy time off for a while.