@de hdmi-a pinout on hdmi-d footprint :( i did wire up hpd and ddc manually though and they do something sane-ish. but edid is all 0xff and one 0x03. there's a short 1mhz burst on aux. also i routed lane 2 instead of 0 (pad naming confusion for hdmi and dp output options). and i didn't route out some pads like config1+2 as they're undocumented, but they might be important.