- # TODO: Workbench2 uses a call to /config.json to bootstrap itself
- # and find out where to contact the API server.
+ # <span class="userinput">Workbench2 uses a call to /config.json to bootstrap itself</span>
+ # <span class="userinput">and find out where to contact the API server.</span>