I'm sure that bagder (https://twitter.com/bagder https://twitter.com/bagder) tweeted about this, but I cannot find the tweet (either I'm losing it, bagder delet

I'm sure that bagder (https://twitter.com/bagder https://twitter.com/bagder) tweeted about this, but I cannot find the tweet (either I'm losing it, bagder deleted it, or twitter's search is broken) At any rate, `.com` is a (windows) file extension and we've not been too fussed about that as a TLD for the last 40 years.