Can we make the link detection less agressive? foo.dev should not be a link
(I think it should not turn text into a link without a protocol)
I don't know how to change that. I'm not sure it can be parametrized.
There is this https://zulip.iemn.fr/help/add-a-custom-linkification-filter
But I'm not sure it comes close enough. Though it might be interesting to automatically link github issues and prs...
that's if we want more, not less
we already have it enabled, eg coq#1111
Last updated: Aug 19 2022 at 21:02 UTC