Pushed a follow-up (though whoops: with the wrong bug number in the commit) to fix a regression related to delayed reification of search dictionary updates.
Pushed a follow-up (though whoops: with the wrong bug number in the commit) to fix a regression related to delayed reification of search dictionary updates.