Searchable documents

[feature-request]

One-sentence description

A search option for the documents page

Desired behaviour

On the documents page add a search bar to search the documents on the page.