JSON API: Player Search Endpoint
I'd like to request a "simple search player by name and get his id" api method. Basically like the search field here does: https://stats.xonotic.org/players?nick=
For my purpose I would only need the player id of the topmost / best matching search reply. Optionally some search query criteria options could be added too, like sort by id age, only search players active in the last year or something like that, to narrow down results for more ambiguous/shorter queries.