Back in 2021 this ridge: https://www.openstreetmap.org/way/341901437 used to go nearby this note, so I guess this note was related to that. The ridge is now moved a bit further to the north. This note has no purpose anymore thus I'm closing it.