Text search across full message history has been part of stable production releases (on Android at least) for a decent long while, just fyi. (Desktop client has

Text search across full message history has been part of stable production releases (on Android at least) for a decent long while, just fyi. (Desktop client has also gotten better (but is obviously far from perfect); those messages end up retrieved later on, fwiw).