Does the search box in Documentation for Vaadin 14 have a purpose? I entered “Notification” in an attempt to see how that functionality has changed since version 8. I gave a couple of entries related to Theming, but those links had nothing to do with the Notification component. This is not the first time I’ve gotten such poor results.