Consider it a compromise, given how many people were dead set against any search.

But public posts are already searchable because they are public. That’s what all public posts on the internet are. They are visible to Google and Bing. Defaulting to not make public posts searchable from within Mastodon just drives people to proprietary search engines.