Clarify GitHub App instructions (#12634)

This is a bit overly explicit, but I think users keep getting confused,
so I think overly explicit is good.


------
[Codex
Task](https://chatgpt.com/codex/tasks/task_e_6931a971b3d483208d671ee51163624c)

Author: ericholscher

docs/user/reference/git-integration.rst

@@ -305,11 +305,13 @@ Adding a project from a repository
 
 To add a project from a repository,
 you need to install the Read the Docs GitHub App and grant access to that repository.
+Use the links below to complete the installation and permissions,
+then create the project from your **Read the Docs account**.
 
 - `Read the Docs Community <https://github.com/apps/read-the-docs-community/installations/new/>`__
 - `Read the Docs Business <https://github.com/apps/read-the-docs-business/installations/new/>`__
 
-Once you have installed the GitHub App, click on the :guilabel:`Projects` tab, and click on :guilabel:`Add project`,
+Once you have installed the GitHub App, in Read the Docs, click on the :guilabel:`Projects` tab, and click on :guilabel:`Add project`,
 search for the repository you want to create a project for, and then follow the instructions from there.
 
 Connect a repository to an existing project
@@ -318,11 +320,13 @@ Connect a repository to an existing project
 In case you manually added a project on Read the Docs,
 or if you want to connect your project to a different repository,
 you need to install the Read the Docs GitHub App and grant access to the repository you want to connect.
+As with adding a project, complete installation and permissions via the links below,
+and select the repository from your **project settings on Read the Docs**.
 
 - `Read the Docs Community <https://github.com/apps/read-the-docs-community/installations/new/>`__
 - `Read the Docs Business <https://github.com/apps/read-the-docs-business/installations/new/>`__
 
-Once you have installed the GitHub App, go the :guilabel:`Settings` page of the project,
+Once you have installed the GitHub App, go to the :guilabel:`Settings` page of the project in Read the Docs,
 and select the repository you want to connect from the :guilabel:`Connected repository` dropdown.
 
 Manually migrating a project
@@ -337,16 +341,16 @@ But in case you need to manually migrate a project,
 you can follow these steps:
 
 - Go to the :guilabel:`Settings` page of your Read the Docs project,
-  and click on :guilabel:`Integrations`, and delete all the integrations that are listed there.
+  and click on the :guilabel:`Integrations` tab in Read the Docs, and delete all the integrations that are listed there.
 - Go to the settings page of your GitHub repository,
-  click on :guilabel:`Webhooks`, and delete all the webhooks with URLs that start with:
+  click on the GitHub :guilabel:`Webhooks` tab, and delete all the webhooks with URLs that start with:
 
   - ``https://readthedocs.org/api/v2/webhook/<your-project-slug>`` or ``https://app.readthedocs.org/api/v2/webhook/<your-project-slug>`` for Read the Docs Community.
   - ``https://readthedocs.com/api/v2/webhook/<your-project-slug>`` or ``https://app.readthedocs.com/api/v2/webhook/<your-project-slug>`` for Read the Docs Business.
 
 - For projects using Read the Docs Business,
   go to the settings page of your GitHub repository,
-  click on :guilabel:`Deploy keys`, and delete the deploy with a title matching the format ``[email protected] (<your-project-slug>)``.
+  click on the GitHub :guilabel:`Deploy keys` tab, and delete the deploy with a title matching the format ``[email protected] (<your-project-slug>)``.
 - :ref:`Connect the project to the repository <reference/git-integration:Connect a repository to an existing project>`.
 
 Revoking access
@@ -361,6 +365,7 @@ Revoking access
    you will need to :ref:`manually connect your project to the repository <reference/git-integration:Connect a repository to an existing project>`.
 
 You can revoke access to the Read the Docs GitHub App at any time from your GitHub settings.
+All revocation options happen from your **account or organization settings**; no action is required inside Read the Docs until you decide to reconnect a project.
 
 - `Read the Docs Community <https://github.com/apps/read-the-docs-community/installations/new/>`__
 - `Read the Docs Business <https://github.com/apps/read-the-docs-business/installations/new/>`__