Hi, HDR content is becoming more common in 2017. I am finding some way to play HDR stream in GStreamer. Do the playbin3 support Dolby Vision or HDR10 single layer and dual layer stream playing? Or how to build a pipeline for that purpose? Regards, jacket_woo