kingkingHK
According to various online sources, "萬屋邊石澗" is an alternative name of "紅萬坑". Then, feature exists as https://www.openstreetmap.org/way/1192216754 after https://www.openstreetmap.org/changeset/139011724 , closing.