- unify time formats using DateTimeFormatter, deprecate `world.time` - change FormatStyle to make the time detail appropriate - fix incorrect time format in English locale
- unify time formats using DateTimeFormatter, deprecate `world.time` - change FormatStyle to make the time detail appropriate - fix incorrect time format in English locale