Sorry, that took longer than expected. The data migration is now complete, and the website performance should return to normal. All 3,981 bots have been migrated.
