Some of our users experienced issues with the Crawler, which was causing their crawls to take significantly more time than usual and sometimes even to time out. We identified the issue, deployed a fix and now we are monitoring. We apologize for any inconvenience caused.