What portion of BigCo use RHEL or other paid solutions vs using a standard distro and thus not counting as “revenue” for anyone?