Comment by _huayra_

I was about 2 months late to someone snatching up {my last name}.dev :(

I do recommend .dev for developers if they can get a good one for their personal use / site, for the reasons you mention.