3 ms·

"...we have made it dead easy to switch the online search tools off with a simple toggle in settings."

• takluyver 14y ago
  That bit's not new, though - the toggle is already in place, and I have used it.