RE: How many people need to use the proprietary NVIDIA driver ? (Or other non kms driver ?)