Forum is unusably slow today. There also was a record of 6500 bots a few days ago but that does not appear to be the issue.