[bartvk]

Awesome. What did the Kill Search menu option do? Did searches actually last long to let the user actively wanting to stop searching?