CodeQL library search page is broken

The search functionality on the CodeQL library search page at https://codeql.github.com/codeql-standard-libraries/search.html is broken. When attempting to search, the page does NOT do anything.

Steps to reproduce

1. Navigate to the CodeQL documentation home page: https://codeql.github.com/docs/
2. Under the "CODEQL REFERENCE DOCS" section, click on the link to "CodeQL standard libraries" page. You should be taken to https://codeql.github.com/codeql-standard-libraries/.
3. On the "CodeQL standard libraries" page, click on the "search" link. You should be taken to the "CodeQL library search" page at https://codeql.github.com/codeql-standard-libraries/search.html
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