Support switching of document IDs via push responses.
Fix jshint error.