add prompt to contribute for empty search

[StevenClontz]

Adds prompt to contribute answers to searches per suggestion by @katjabercic

https://0b63ff7a.topology.pages.dev/spaces?q=Cardinality+%24%3D%5Cmathfrak+c%24%2B%7ECardinality+%24%3D%5Caleph_1%24

[cloudflare-workers-and-pages]

Deploying topology with    Cloudflare Pages

Latest commit:	f18221a
Status:	✅  Deploy successful!
Preview URL:	https://0b63ff7a.topology.pages.dev
Branch Preview URL:	https://stevenclontz-2025.topology.pages.dev

View logs

[prabau]

Possibly. But wouldn't this encourage people to create issues that are not worth it? An empty result comes up all the time when exploring things with searches and varying the parameters.

On the other hand, it doesn't hurt, and soon it will become "noise" that people mostly don't pay attention to. So not a big thing.

[StevenClontz]

But wouldn't this encourage people to create issues that are not worth it? An empty result comes up all the time when exploring things with searches and varying the parameters.

The theory is that anything that the pi-Base cannot answer is a gap in our database that should be filled. I agree that as a practical matter there are some gaps that cannot be filled (e.g. cardinality reals but not cardinality omega_1) or gaps that aren't high priorities. But I'd rather streamline the user-to-contributor workflow wherever we can, and if this does become a problem we can always revert.