On github you can write #1234 and it will automatically turn into a link to the respective issue/PR.
Wouldn’t it be great to have a similar feature here for registered packages?
So if you write, say, BenchmarkTools.jl it would automatically turn into BenchmarkTools.jl.
The relevant URL could perhaps be looked up in the General registry. But of course I have no idea whether this is possible with discourse via a bot or so.
Thoughts?