Currently using webidl2.js@1fd6709ef9311f2ea0ed4ff0016ecf6f5d615104.