An audio extractor is not recommended if 4k HDR is required. It does not transmit the HDR signal.
It's just a question of processing speed. No argument against HDMI audio extractors in general. It's difficult to find quality extractors, that's for sure.