@alexmk @WhiteHouse He first responded to a recent tweet of mine, then, AFAICT, deleted his tweet & dug up an older one.

But yeah. Same question.

¯\_(ツ)_/¯