does doc-gen4 support zulip-style linkifiers?

Stream: mathlib4

[Bulhwi Cha]

On Mathlib4 docs, "lean4#2115" doesn't turn into a link:

It is not currently possible to adjust priorities by hand (see lean4#2115). Instead, the last declared instance is used, so we make sure that Semiring is declared after NonAssocRing, so that Semiring -> NonAssocSemiring is tried before NonAssocRing -> NonAssocSemiring. TODO: clean this once lean4#2115 is fixed