View Comment

Commented on

There is already a search option at the top of each page: 

Although perhaps not on mobile.