Twitter search seems to be up again, but it seems tweets from during the downtime are missing... .