Well, then. I have been corrected.

Fun fact: all you need to hook an eDP display up to any computer with a DisplayPort output -- is a cable that adapts the connectors to each other. Someone on Hackaday did that a year or two ago. I thought it was neat then and I still do... don't think I bookmarked it tho.