The use of registered trademarks in plugin names and slugs in the WordPress plugin repository is not allowed, but is the rule being enforced? This is a short opinion piece on my personal experience.