linkifier for LTE

Stream: Zulip meta

[Johan Commelin]

Can a zulip admin please make liquid#18 link into https://github.com/leanprover-community/lean-liquid/issues/18 ??

[Rob Lewis]

Does it not already? I think there's a generic linkifier for this. liquid#18

[Rob Lewis]

Oh, it's lean-liquid#18

[Johan Commelin]

aah, I didn't know about the generic one

[Johan Commelin]

I think it's good enough for our needs

[Johan Commelin]

If people find it too long, we'll bug you to enable lte#18 (-;