I have reverted this edit in https://www.openstreetmap.org/changeset/157959663 because there was no sufficient explanation for the deletion even after the question above. The information board shown on https://imgur.com/wrJ50Pu seems to indicate these paths do indeed exist.