https://gadgeteer.co.za/search-improvements-on-31-dec-2017/