Dear fediverse , what kind of a connector is this?

40 pin, 0.5mm pitch, motherboard side, going to an eDP display panel.

I'd like to buy the socket, but nothing I've seen quite matches the shape.