Also, forgot to mention, this is an old post, and since then the platforms search has been reactivated again, and seems to works on some level now. But for better search results, you should still use the google search on the toolbar below, (which hides to the bottom right of your screen by default)