Hello! I'm forwarding this feedback from a user on German Wikipedia:

I want to search for articles containing the outdated spelling "umfaßt" to change the words into the correct form "umfasst". So I type

"umfaßt"

in the search field.
But the search does not distinguish between "umfaßt" and "umfasst" and finds both spellings:
https://de.wikipedia.org/w/index.php?advancedSearchOption-original=&search=%22umfa%C3%9Ft%22&title=Spezial:Suche&profile=advanced&fulltext=1&advancedSearchOption-filetype=&advancedSearch-current=%7B%22options%22%3A%7B%22phrase%22%3A%5B%22umfa%C3%9Ft%22%5D%7D%2C%22namespaces%22%3A%5B%220%22%5D%7D&ns0=1&searchToken=31mti9fuliwekgb9r8zac5fm3

Can this be changed?

Thanks in advance,
Johanna