[K0IN]

wow, 17% is impressive with such an easy fix. i wonder if we could just build this as a separate project and pull the webidl files as a dependency.

[rtpg]

managing deps as a separate project introduces a lot of day-to-day annoyances, especially if the files are actually changed decently often.