I wanted a ".dev" domain for a project a few years ago. At the time, Google was the only one offering that TLD. However, it looks like you can get ".dev" doma

I wanted a ".dev" domain for a project a few years ago. At the time, Google was the only one offering that TLD. However, it looks like you can get ".dev" domains anywhere. Was this change part of Google Domains leaving beta? Or is it completely unrelated?