I wonder if this means we’ll get an official registry now. The failed partnership with Github was announced 7 years ago.