see my other trip from 2020/10/9, where this peak had been missing due to its coordinates having been somewhat off