This came up on bugzilla: https://bugzilla.wikimedia.org/show_bug.cgi?id=65919

Is Wikifont deployed in production? It's the first time I hear about it.