According to schematics hext pin 12 name should be hExt.i2c.pinScl
Tried to use it as gpio output failed.
Found that using name hExt.i2c.pinSda. you can control hext pin 12, but hExt.i2c.pinScl apparently is hext pin 11.
Thank you for your report. We will investigate the issue asap.