What is the significance of 'OS' for RHEL branded products? Why not simply 'RHEL'? A value of 'OS' seems a little unclear.