Was the world stable in 2023 when the font change occured?