BTW there is a linguistic tradition of “hill hill”. When new immigrants come to an area and ask the locals what that hill is called, the locals say “big hill” in their language. The newcomers call it “bighill” hill in their language. I forget the examples but this has happened enough in England that there are places whose names are five hills deep (Brythonic -> Latin -> Saxon -> Norse -> Norman).