Karl Fogel at 2016-11-29T23:43:11Z

I decided a long time ago that Twitter is the global namespace :-).  (In any case, I'm mirroring dents and tweets, so it's not quite clear what The Right Thing to do is when a name differs between the two namespaces, or, more commonly, only exists in one of them.)