conradoos
Nie ma w pobliżu Diablej Dziury (przynajmniej zgodnie z tą stroną: https://geologia.pgi.gov.pl/jaskinie/). Najbliższa jest Jaskinia Zbójnicka - ok. 250 m na południowy-zachód - dodałem ją.
Zmiana w tym zestawie: https://www.openstreetmap.org/changeset/90207997