autostrip: make ignoring of bots optional (and disabled by default).