No, I went for https://firstname.dev

I also got https://lastname.dev too.

And lest you think you could just use your https://fullname.dev ... nope, already got it as well.

You're missing "steve.dev" on the first list - not me, though I have two steve-domains!

Reminds me of how I thought I was being clever by picking the facebook "shortname" of /forename.surename!