Thanks for the info, that's good to know. I was speaking form ignorance on that point, obviously (since I was wrong). The point still stands though, Red Hat needs to make money, so we shouldn't expect them to eliminate all their options for monetizing something (which I assume you agree with given your other comments :) )