Search: Rename 'Tools' to 'Filter' #687
Description
The goal is to rename the selector on right of the pathway search page from 'Tools' to 'Filter'
{{ message }}
The goal is to rename the selector on right of the pathway search page from 'Tools' to 'Filter'