Zulipchat search question

Stream: new members

[Kevin Sullivan]

Sorry to post this here. From the main zulipchat page, I search for "affine" (without the quotation marks). This used to return a bunch of pages. I'm looking in particular for a comment I saw recently about formalizing calculus in affine rather than linear spaces. But this search now returns only two threads. I'm probably doing something completely moronic. Anyone notice anything different in the last few days?

[Alastair Horn]

Are you on mobile? In my experience, the web version allows me to search through the entirety of the zulip chat history, while the mobile app will not let me do this, though there probably is a way

[Bryan Gin-ge Chen]

Maybe this comment is the one you're looking for? I was able to find it by searching for "calculus", but it doesn't show up when I search for "affine" (on desktop).

[Bryan Gin-ge Chen]

Also, I think this thread is fine here, but note that we also have a Zulip meta stream.