Switch to Platinum searcher, remove Tex, add Android