What's the latest with HDR10 support from VLC on OSX Catalina to an external HDR10 display? By the way, does VLC on OSX Catalina even support RGB10 output or only RGB8 windows? It's clear OSX now supports 10 bit displays, but I'm unclear if VLC outputs 10 bit to it's GL display. Also, is there any n...