So i'm assuming this "trademark" would also apply to the plugins at the WordPress repo. If that's the case, what would you call a plugin you make as an add-on for WooCommerce? Since we can no longer or may no longer use WooCommerce or Woo (hillarious). Plugin Extension for Plugin Who Shall Not Named?