Deploying to gh-pages from @ 020b53a 🚀

Author: hrshdhgd

_sources/implementation.rst.txt

@@ -42,7 +42,7 @@ repository.
         and delete `this code block <https://github.com/INCATools/ontobot-change-agent/blob/b60d32375941c19672deace22b74814e04a73284/.github/workflows/new-pr-java.yml#L63-L68>`_
 
     .. warning::
-        This should be done once only. `ontobot-change-agent` already exists as an app on GitHub. This step is solely for the purpose of documentation.
+        **This should be done once only. `ontobot-change-agent` already exists as an app on GitHub. This step is solely for the purpose of documentation.**
 
         Create a GitHub App at the Organization level such that it has access to specific repositories of concern.
         - Go to **Settings** -> **Developer settings** -> **GitHub Apps** -> **New GitHub App**.
@@ -71,7 +71,7 @@ repository.
             - Select the organization and repository.
             - Click on **Install**.
 
-2. Follow instructions in `actions/create-github-app-token@v1<https://github.com/actions/create-github-app-token>_` to create a GitHub App token.
+2. Follow instructions in `actions/create-github-app-token@v1 <https://github.com/actions/create-github-app-token>`_ to create a GitHub App token.
     - Add the following code block to the workflow file:
 
     .. code-block:: yaml

implementation.html

@@ -127,7 +127,7 @@ <h2>Step 1: GitHub Workflow Setup<a class="headerlink" href="#step-1-github-work
 </div>
 <div class="admonition warning">
 <p class="admonition-title">Warning</p>
-<p>This should be done once only. <cite>ontobot-change-agent</cite> already exists as an app on GitHub. This step is solely for the purpose of documentation.</p>
+<p><strong>This should be done once only. `ontobot-change-agent` already exists as an app on GitHub. This step is solely for the purpose of documentation.</strong></p>
 <p>Create a GitHub App at the Organization level such that it has access to specific repositories of concern.
 - Go to <strong>Settings</strong> -&gt; <strong>Developer settings</strong> -&gt; <strong>GitHub Apps</strong> -&gt; <strong>New GitHub App</strong>.
 - Fill in the necessary details and create the GitHub App:</p>
@@ -193,7 +193,7 @@ <h2>Step 1: GitHub Workflow Setup<a class="headerlink" href="#step-1-github-work
 </div></blockquote>
 </li>
 <li><dl>
-<dt>Follow instructions in <cite>actions/create-github-app-token&#64;v1&lt;https://github.com/actions/create-github-app-token&gt;_</cite> to create a GitHub App token.</dt><dd><ul class="simple">
+<dt>Follow instructions in <a class="reference external" href="https://github.com/actions/create-github-app-token">actions/create-github-app-token&#64;v1</a> to create a GitHub App token.</dt><dd><ul class="simple">
 <li><p>Add the following code block to the workflow file:</p></li>
 </ul>
 <div class="highlight-yaml notranslate"><div class="highlight"><pre><span></span><span class="p p-Indicator">-</span><span class="w"> </span><span class="nt">name</span><span class="p">:</span><span class="w"> </span><span class="l l-Scalar l-Scalar-Plain">Create GitHub App token</span>