Ah, on reading that post again I understand what you meant. The text on WordPress.org is creative commons licensed, and the code in WordPress core is GPL licensed. The way you wrote it implied that text can never be GPL licensed.