Update the documentation for 1.13.0

Review 1642 by @neumino