Does anyone know if the Mi Box with 6.x firmware can do HDR to SDR color conversion in any video playing apps?

I went and bought an expensive 4K TV just before HDR panels became commonplace. I've got some 4K blu ray remuxes, but without color conversion movies that use 10-bit color will look washed out on SDR displays.

I saw a screenshot of a settings dialog for the Mi Box running Oreo and it looks like there are options for HDR to SDR conversion.