The results of this decision, though not what we expected, have been very positive.
Let's hope the discussion doesn't turn into a hairsplitting war about "free"/"open" and "game"/"engine". :)
By the way, I found this news via reddit.com/r/gamedev in this comment thread. If you're into reddit as well, feel free to submit and cross-post relevant open source game (dev) news on /r/opensourcegames!