How does the Random Searx Redirector work?

The HTML page contains a small amount of Javascript code and a predefined list of working servers. When you hit the search button it picks a random server from the list, combines the server and search query to make a URL, then fowards your browser to it. This is all done within the page so no data is leaked externally. However, this means that users who had saved the page for "offline" use will have to update it often to obtain a new server list.