શું તેને ખરેખર લક્ષ્મણની ટેકરી કહેવામાં આવતી હતી.