What gives? This is not consistent with previous statements. Apparently he was just kidding when he said there would be no commercial release if manual sales were adequate.
I hate to be the ingrate that points this out, but I think it's much more likely to go GPL if they don't sell many keys or manuals. Food for thought.