@andrewliebchen @cap I guess we'll never know until they require everyone to use another 12 point font.