Android13対応で、複数のテキストファイルをgrepできるアプリはありますでしょうか。