[PATCH] Documentation: push-pull commands into a separate category.