[al_borland]

It’s made search a little easier. I don’t know if it’s enough to call it a productivity gain, but more of a quality of life improvement, surfacing more pages with added context in the results.