We can stop using this class for the search box, but we cannot just delete the class, since plugins may be using it. You can add a comment suggesting a replacement.