Talk:Batu

Lead and intro
There is an expedition to improve lead paras, which inevitably affects what goes in "Understand." We're feeling our way with this, and Batu looks like an interesting example. One of the things I'm curious about as an outsider is the name. How about some text along these lines:

Batu is a very common Indonesian place-name element - Batu Gajah, Batu Ampar, etc. Sometimes these get informally shortened to “Batu”, but this place is Batu full stop. The word means “rock” or “boulder”, and is often applied to landing places, but in this instance it may indicate a royal retreat in a pleasant upland climate. In ancient times only the ruling elite could take themselves away in that fashion, with their grand entourages. Early modern times and the Dutch colonial period saw the growth of a mercantile class glad to escape from sweltering Surabaya, and Batu expanded as a hill station. And so it remains. Grahamsands (talk) 10:34, 21 May 2020 (UTC)
 * I think origins of a place's name are worth mentioning in Understand. Ground Zero (talk) 11:21, 21 May 2020 (UTC)


 * Definitely an explanation for Understand. Though introductions, by their nature, are often going to briefly state a bunch of information that is then repeated in more detail later in the article.--ThunderingTyphoons! (talk) 12:09, 21 May 2020 (UTC)