[Grimblewald]

I'm a big fan of ctrl+f, but semantic search is a life saver that conventional search simply cannot compare to.