On Saturday, 27 March 2021 at 14:53:52 UTC, Imperatorn wrote: > Yeah, the search is broken sadly. I made a PR about it some > time ago. Partial searches doesn't work Good to know. Thank you.