v20240703-nightly
fdc12dad · Fix a bug where the number of search results was wrong after a search result scrolled off ·