Description

When we applied this fix to a repository with many visitors and an extend bot user agent list, the server's CPU usage went through the roof. So I think that having "case-insensitive bot user agent matching" should be configurable and disabled by default.

In addition, I think it is worth investigating if doing "StringUtils.toLowerCase" is more efficient in our case than using the case-insensitive flag.