I'm not sure about the partnership, does this means it will be the default search engine for Linux Mint?