Review Request #9687 — Created Feb. 21, 2018 and submitted
The Review Bot manual is pretty complete, but left out one important
piece: how to start the broker. This change adds that.
Built HTML and checked the result.