Finalize new API, tweak DDOCs, more examples

Also fix issue 9579.
Restore some documentation for old replace functions

and make -property switch build happy