They probably paid a pretty penny for it.

My first startup job was a skunks work project and we had around 128 noun-adjective pairs we wanted to find a .com domain for. All of them were taken.

We had to settle on a .io domain, and this was 7 years ago.

2 year in we came up with a better name and managed to get a .com... with a dash in the URL.

I worked at a 4 letter .com startup and we paid $800k for the domain. We never made revenue anywhere near our domain and when the company eventually shuttered the most revenue we'd ever made was selling the domain again.

I deal in domains and stories like this still never cease to amaze me. In any case, I'm glad your company was able to sell the domain for a good sum back.

Startup I worked at paid like 100k + equity for a two word .com domain name and it wasn’t anywhere near as nice of name as planet scale is

there are still plenty of great .com available, you just gotta be more creative