As discussed in w3c/reffy#336 (comment), bikeshed and respec aren't aligned as data producers nor as data consumers when it comes to including arguments in definitions. Some of the constraints around the topic are linked with overloaded methods, although the fact that they are now mandated to be defined in a single IDL fragment may help on the producer side.