A search for "lindelof" and a search for "lindelöf" produce different results. In some sense the results are correct, since the first search finds only those posts that mention "lindelof" and the second one only those that mention "lindelöf".
This seems like unfortunate behavior, since many people misspell "lindelöf" as "lindelof". Someone searching for a particular question about lindelöf spaces may not realize that they need to try two separate searches to see all possible results.
It would be nice if the search produced both sets of results for each query.