diff --git a/docs/source/getting-started.rst b/docs/source/getting-started.rst
index 1c13e21..1eb5794 100644
--- a/docs/source/getting-started.rst
+++ b/docs/source/getting-started.rst
@@ -14,7 +14,7 @@ Requirements
 * 3.9 <= Python < 3.11
 * wget
 * `elan <https://github.com/leanprover/elan>`_
-* Recommended: Generate a `GitHub personal access token <https://docs.github.com/en/authentication/keeping-your-account-and-data-secure/managing-your-personal-access-tokens#personal-access-tokens-classic>`_ and set the environment variable :code:`GITHUB_ACCESS_TOKEN` to it
+* Generate a `GitHub personal access token <https://docs.github.com/en/authentication/keeping-your-account-and-data-secure/managing-your-personal-access-tokens#personal-access-tokens-classic>`_ and set the environment variable :code:`GITHUB_ACCESS_TOKEN` to it
 
 Installation
 ************