Hi all. Just joined this forum and this is my first post, let me know if this is the wrong place to ask. I'm doing research on short and one word .dev domains (and soon .app). As you might know, many of them are classified as premium by the registry and sold at $100-$10k+. I've found some good ones that are not premium but I'm unable to scale up my search since the only way to know if a domain is premium is to run it through a search on some registrar which are rate limited. Is there a list somewhere of all domains that are in the premium category? That would significantly speed up my search. Thanks!!