Thanks for looking into it. It’s a shame EveryDoor is buggy around this, but at least that explains things.

I’ve removed the duplicate gate in https://www.openstreetmap.org/changeset/154088786

Cheers :)