Pypi has a search interface on their public website, though?