Servers are now indexed in real-time ⏰

The global search now index servers in real-time. When you deploy a new server or edit its information, these changes will be available in the search bar instantly.

This fixes issues where customers couldn't search for servers that were recently updated.