Robin Berjon @robinberjon · 21 Dec 2016 Replying to @namedgraph You should really ask @marcosc, I don't maintain anymore. IDL used to be insensitive but IIRC WebIDL removed that. It could...