Don't think idlharness or WebIDLParser are necessary here.