Doc updates including changes related to Stateful API changes, fixes #239