Could we have quick keyword search and filtering directly inside dot’s message stream? Important updates and earlier requests get buried as the conversation grows. I’d like to type a few words, see matching messages, then jump to a result with its surrounding…