Proprietary search engines (was: Fedora Notifications System.)