The tech giant’s default font from 2007 looks like it’s about to get kicked to the curb.