Can Zulip linkify words be used here?

Stream: new members

[Eric Taucher]

One feature nice on other chat/discussion boards is linkify words, which Zulip seems to have (ref). I know that some plans have tiers and that based on the tier the option may be included. If linkify words can be used here, it would be nice for those new to Lean to see such words linkified when used, e.g. here Kevin writes

Did you install the tutorial using leanproject? You need to be in the tutorial ...

If the quoted words were linkified life would be nicer. :smile:

[Eric Wieser]

You mean like #mwe, docs#id?

[Eric Wieser]

If you have specific requests, #Zulip meta would be a good place to ask for them