kingkingHK
According to various online sources, "紅禾坑" is an alternative name of "大朗坑". Then, feature exists as https://www.openstreetmap.org/way/1190828419 after https://www.openstreetmap.org/changeset/138764896 , closing.
