Post: A few notes on search

Link: https://azorius.net/c/n2d3mHK8FRPH122tt2

tedu on 16 Aug 2023 20:59 collapse

Update: as of just now, @group@server also works. I still find it easier to just copy and paste URLs, but if you happen to know a group name and don't have the URL handy, this works too.