Clarification required, Hypothetically speaking, site like WP beginner has a plugin wp beginner or WPexplorer has plugin wpexplorer is this a violation and they now need to change the name ?