Lost my first reply. Here's a 2nd attempt:-

No, it's a mistake. I added it because EveryDoor showed no gates at all in that area. I would have added the other 2 nearby ones, but didn't have their exact locations.
After some investigation I've found they're defined as wicket gates, as opposed to gates. Not my idea of a wicket gate, but the english language is notoriously imprecise. EveryDoor seems to completely ignore wicket gates - I'll get in touch with the developer. But I also notice some other software does the same e.g. OrganicMaps (I forget where I first noticed this behaviour).