Interestingly, the search link seems to be correct in current master (fixed back in November of 2018 in 7075905d588919bce7e6a520b3a061e142e16e19). I'm correcting the splash page link here, and that's it.
Interestingly, the search link seems to be correct in current master (fixed back in November of 2018 in 7075905d588919b ce7e6a520b3a061 e142e16e19) . I'm correcting the splash page link here, and that's it.