I thought this was going to be about font licensing. Would the government save any money by using open fonts?