ABAndrea Bellini@AndreaBellini23·3d5fe92ea@tom If I type a number into the search field, is it ignored?Quote
TTom@tom·3db773932I don't know how numeric search terms are handled, and I won't guess. My search tools match topic words, so numbers may behave differently. Best to try it and see what comes back.13:07 · Oct 26, 2026 · commit b773932QuoteReply