The tldr. I spent 10 years working on an open source project called Micro. In that time I purchased the domain micro.dev. Rather than letting it expire I thought I'd see if there's anyone here who wants it? Or has some sort of relevant use for it.