I know it’s a half-solution, but while waiting for a lasting solution you can use as a workaround an adapter USB-C/HDMI, as said by @trappm in the same thread :
I know it’s a half-solution, but while waiting for a lasting solution you can use as a workaround an adapter USB-C/HDMI, as said by @trappm in the same thread :