Yes we were. I seemed to think this ridgeline was called the Razorback - maybe because of the nearby Razorback Falls? But I cannot see it actually named anywhere. Its certainly a lovely ridgeline to walk.
Edit: Not sure why above is not working (was too big to upload as attachment) but if you are having issues please try the following: https://imgur.com/a/xZj4Oxc