World menu: no error messages on changing world preferences
World menu: consistent names in the Tools category