Haven't written a post-mortem but maybe at some point if it felt useful for others. Startups built around open source are generally very hard. About as bad as social consumer products. Both micro.dev and m3o.com are for sale yes.