Feature summary (what you would like to be able to do and where):
Allow excluding bot edits in CirrusSearch's "last date modified" filter.

Use case(s) (list the steps that you performed to discover that problem, and describe the actual underlying problem which you want to solve. Do not describe only a solution):
Bots such as MalnadachBot (https://en.wikipedia.org/wiki/User:MalnadachBot) often run maintenance tasks that edit old pages, such as archives. When searching, pages that are recently edited by the bot (eg to fix lint errors) are treated as new, but they have not received actual content edits.

Benefits (why should this be implemented?):
This restores the conventional purpose of the "last date modified" filter, which is to try to find newer/older pages. When bot edits are included, pages can be erroneously marked as newer.

Additional idea:
Perhaps there can be some settings to exclude certain bots (when inputted)? For example, MalnadachBot doesn't make substantitive edits, but other bots might (eg at AIV), and this distinction might be significant for some contributors.