Der Fehler mit dem Smartsearch ist zum Glück schnell behoben worden, die beiden Bugfix-Versionen sind ab sofort verfügbar.

Download wie immer bei Github