v1.3.2

• Document workers configuration for run-time configuration of push workers.
• Modify run-time configuration of push workers so that multiple (or no)
  workers may be returned by the startup configuration.