Comment by pavel_pt

AFAICT, the bug from 1.3.1 where you cannot paste into the search field is still present in 1.4. I guess agents doing all the grepping these days?