If changing fonts once was a wasteful empty gesture that they used to path themselves on the back and which didn't benefit anyone, then isn't changing it a second time the exact same thing?