I don't know if this is a sign of ignorance or a failed joke. The location of the tunnel has been common knowledge for a long time. The one marked here has nothing to do with it.

The tunnel was added and correctly tagged from the first day it opened: https://www.openstreetmap.org/way/304973954