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.