Search version 0.4 (In progress)

Start date: 12 July, 2018 12 Jul 2018 ; release date: 18 July, 2018 18 Jul 2018 

Source code:  

This release fixes a variety of bugs reported since the release of search-0.3, and introduces a few minor requested features.

...