Ban list is up to 2376. The overly aggressive bots are still showing up with new addresses, but the rate those are getting through is a lot slower now, almost approaching what would have been reasonable behavior that wouldn't have prompted me to make a filter to ban them on sight.