Is that extension always installed or optional? Can we install the font?