Move autocomplete to server

[marcoscaceres]

A few issues with auto-complete on the client...

1. it downloads 500kb in terms
2. it do doesn't include the type information + other potentially useful things - so we can't style the autocomplete in useful ways (e.g., IDL things should be shown CodeByDefault wit the type and what spec a term declared in, etc. directly in the autocomplete).

We should allow the server to stream autocomplete results.

[sidvishnoi]

My concern is latency. It takes around 1s from my location for server to respond.

[marcoscaceres]

We can prime and cache - or open up the connection early. Good/useful result trumps latency here, and it's something we should deal with.

[sidvishnoi]

On my latency argument: Maybe we can write the autocomplete logic in such a way that we can use it a ServiceWorker to imitate the service locally (or maybe even a Cloudflare worker).

[marcoscaceres]

Yes, either of those (or together) could work. We’d have to check how much it would cost to use the cdn tho.

Our goal should be 100ms query response time.