Adapting DP to HDMI using the Synaptics VMM7100 chip is apparently the best (most feature complete) workaround for now. It's the same one that Intel uses in their Arc GPUs.