Don't know if it is too late.... or this is the right place for this suggestion:
We should also rename the directory "world/terrains/pics/green" -> "world/terrains/pics/summer"
Don't know if it is too late.... or this is the right place for this suggestion:
We should also rename the directory "world/ terrains/ pics/green" -> "world/ terrains/ pics/summer"