RT @annevk: I wish we used Web IDL to define all APIs, including those that end up in JavaScript proper. Maybe that means Web IDL needs cha…