Added specification for Update#_pushToUserInputStream()