Merge "SearchInputWidget: Fix documented default for 'pushPending' option"