Documentation: clarify tutorial pull/merge discussion