Characters not displayed correctly on github with firefox

Stream: general

[Riccardo Brasca]

Using firefox displaying this line, I don't see the 𝟙 after the exact (note that I see 𝟙 normally on other lines and also if I have a look at the raw version).

It seems the same problem as reported here by @Mario Carneiro . Does anyone has a solution?

[Mario Carneiro]

Nope, the solution is to pester github until they fix it, so upvoting that issue is all you can do I guess

[Mario Carneiro]

previous thread: https://leanprover.zulipchat.com/#narrow/stream/113488-general/topic/broken.20glyphs.20in.20github