3 ms·

.dev is a Google Registry domain, so they'll have to negotiate with Google to get it in their platform.