Review Request #10052 — Created July 2, 2018 and submitted
Embarassingly, we didn't have anything in the manual for how to actually
run the worker process. This change adds a paragraph about that.
Built HTML and checked output.