Currently using webidl2.js@6889aee6fc7d65915ab1267825248157dbc50486.