I think in the common case of <20,000 log messages or so we can do all the filtering in JS, keep all of them / load all of them etc and it won’t be a huge issue