Working on it, though it’s going to be the other way around!
Breakout eDP is something I’d be very interested in. Currently using a USB-HDMI converter cable and rather cumbersome for my small space requirements.
Supposedly there are eDP-to-HDMI cables/converters, but they appear to be far less common than the reverse, HDMI-to-eDP, which makes it a hassle to search exactly what you want in any online stores.