Without JavaScript, a alternative would be to list all package names with their synopses on a single page. This way the user can use the browser search feature to search for packages. -- Pierre Neidhardt https://ambrevar.xyz/