4 ms·They would presumably rebrand it "Search".by _emacsomancer_ 6y agoThey would presumably rebrand it "Search".