Zaradi opazovalnice in tudi nočnega nadzora je bil vrh poimenovan Oko Krasa