docs: Command line configuration tool for Workbench

(cherry picked from commit ceeb23704dc9d32055b13a048f1f827c5533fcc5)