search for fedi servers

this is a simple tool to search through user-agent strings received by my web server that match common fediverse servers, and extract useful data from them. the list is supposed to be automatically updated every day, and was last updated at the search query is matched case-insensitively in its entirety against each received user-agent, so for example if you were looking for mstdn.social, you should enter that as your search query, and not "mstdn social", which would likely return no results.

note: the full list is available here