Implement front-end of dynamic GettingStartedv2, with new logging.

* Add Steven's improved wording.
* Minor adjustments and documentation for Redis backend.

Change-Id: I00c639992638253e50a6931a108715070e325dbc