Yep -- the DDC link which is the comms part of VGA/HDMI/DVI is basically an i2c link, and that's how the OS queries the EDID in normal operation.

As the article notes, the rpi has an i2c controller wired up to those hdmi port pins, because it needs to be able to read the EDID over the DDC.