I’m wondering whether Kubernetes is an unnecessary top-level category. Perhaps it would be better to give each provider its own sub-category under #users?
For me, just my first thoughts: providers seem a little bit more like tags. The biggest issue with categories is that you can’t be in more than one category at the same time, so if you make categories, I think that they should usually indicate ( somewhat ) exclusive categories, so that you don’t end up wanting to be in multiple categories. Then you end up with a category, and then also a tag with the same name, and it becomes more confusing where it is best to put it.