Furthermore, it doesn't matter what WordPress considers to be GPLed or not, what matters is what it says in the license.