Lydia Pintscher, 13/05/2016 18:28:
Ok search integration should be fixed now.
I see a link at the very end of
(not so convenient; using
right side, as for the interwiki search results, may have been better)
but nothing with phrase search, after the 3 full text matches.