So I have now, for the second time experienced this same bug. On a restart (just a normal one — not necessarily because the phone wasn't responding) the status bar completely resets to default: network name is shown, time switches to 12-hour clock etc.
However as in the image, the network type...