What if Linux went closed source? Would you still use it?