Documentation: tutorial editing