In reply to a tweet by ekr____:

@ekr____ it's been a real pleasure, ekr.