Reminds me of Github removing search due to security concerns.

Now it's back; it just doesn't work very well.