I'm not sure how that leads to the conclusion that other short, convenient TLDs like `.dev` should just be given to companies like Google to use very sparingly,

I'm not sure how that leads to the conclusion that other short, convenient TLDs like `.dev` should just be given to companies like Google to use very sparingly, if at all. EDIT: Looks like I misunderstood what Google having .dev meant in the above discussion; domains using it are available to purchase through their registrar (or more precisely resellers since I guess they don't sell directly anymore)