"CodeQL library search" page is broken

# CodeQL library search page is broken

The search functionality on the **CodeQL library search** page at is broken. When attempting to search, the page does NOT do anything.

> [!IMPORTANT]
> **Standard Disclaimer:** I am unsure if this issue belongs in this repository or in another sister repository. If this is NOT the right place, please point me to the correct repository.

## Steps to reproduce

1. Navigate to the CodeQL documentation home page:
2. Under the "**CODEQL REFERENCE DOCS**" section, click on the link to "**CodeQL standard libraries**" page. You should be taken to .
3. On the "**CodeQL standard libraries**" page, click on the "**search**" link. You should be taken to the "**CodeQL library search**" page at
4. Type something (e.g. `Unpinned`) on the search input box, and click the "**Search**" button.
5. Observe what happens on the page as well as the browser console.

## Actual Results

Nothing happens on the page. The browser console shows the following error every time the "**Search**" button is clicked:

```
search.html:101
Uncaught ReferenceError: addsearch is not defined
at HTMLButtonElement.onclick (search.html:101:84)
onclick @ search.html:101
```

## Expected Results

The search results corresponding to the searched terms should appear on the page.
Or if no search results are available, the page should indicate that information too.

## Screenshots