Yes I’m aware of this. I’m not telling other people to stay away from Linux over HDR. If you don’t care about it, then by all means feel free to use whatever OS you want. Just sharing my personal opinion.