Finalize new API, tweak DDOCs, more examples

Also fix issue 9579.