Commented on
There is already a search option at the top of each page:
Although perhaps not on mobile.
