Why the change from jQuery's selection routine, as on https://github.com/mozilla/dxr/pull/254/files#diff-eb5a53d172fbe1bae670f315c94c3438R29?