No matches were found for subject:"Bug#584431\: redmine\-plugin\-botsfilter\: if user\-agent isn't set, bots filter results in a 500"