2020-06-05 UTC
# 
willnorris Only very loosely related to the website migration discussion last week.... I bought microformats.dev when the .dev TLD first launched, and have just been redirecting it to microformats.io, which seems as good a thing to do with it as anything right now. But I'm also happy to give it to anyone in the microformats community that wants to actually do something with it.