webrtc.js needs to be updated to list infra in the xref property of respecConfig to have map/contain be recognized

webrtc.js needs to be updated to list infra in the xref property of respecConfig to have map/contain be recognized

Yes this PR and #2775 depend on #2772 which adds this. Since we ran out of time today to merge the latter, I'll reshuffle the PRs to avoid this dependency.

Error: Pull request 2774 not labeled as editorial and not referenced in amendments.json

Ok, so this is new. I need to rebase and add something to this file I assume? cc @dontcallmedom

thanks @jan-ivar for integrating the changes in amendments.json - indeed, the CI error is a recent addition to make sure we don't lose track of this.
FWIW, I had to tweak a bit the change you made, since the id referenced in amendments.json needs to be for an element that contains the changes (you had picked the <dt> when the changes were in the <dd>); I'll try to see how to make it easier to review these amendment descriptions.