elixir.bootlin.com is protected by Anubis Bot detection, which can occasionally be triggered during a keyword search. Currently, the search request is sent using the HTTP POST method. If the bot protection is activated, the verification and redirect process may result in the loss of the original POST data, meaning the keyword is discarded and the search must be re-entered manually.
Since the search operation does not modify server state, it should be performed using the GET method instead of POST. This would allow the query string to be preserved through redirects and improve compatibility with bot protection mechanisms like Anubis.