For the admins: I moved the link for enabling bots filtering to a new page "admin tools" (and the link to that page replaces the previous link for enabling bots filtering).
This allows to view the current status (enabled or not), and later I'll use that page if there are other admin stuff to put somewhere.