As of morning, bot traffic is massively reduced with 1517 IP addresses blocked. There's still a very slow trickle getting insta-banned, but it looks like I don't have to add anything else to the filter for now.