SIGN IN SIGN UP

Bring back semantic search UI (#3623)

- [x] Add "Include ignored" to filters
- [x] There seems to be a bug (seemingly unrelated to this PR) where we
reindex the project on each launch. Edit: Seems to be the case on Zed1
as well if the indexing is interrupted.

Release Notes:
- N/A
P
Piotr Osiewicz committed
2a714d6dd8b8f704a5dce0e5f980ae53d9e434c2
Committed by GitHub <noreply@github.com> on 12/13/2023, 3:17:42 PM