WordPress's GPL license and third-party “GPL Plugins” distributors | Hacker News Reader