Red Hat ponders going proprietary