{#-
  The top-right icon row, in place of the theme's "edit this page" link.

  The theme puts one component in that row per entry in
  `top_of_page_buttons`, and this is the one it includes for "edit".  There is
  no block around the row to override and no option for putting something else
  in it, so this replaces the component: the row is the right place for a link
  to the project, and an edit link is not much use on a set whose pages are
  mostly generated.

  `project_url` comes from `html_context` in `conf.py`.
-#}
<div class="edit-this-page">
  <a class="muted-link" href="{{ project_url }}" rel="external"
     title="{{ project }} on GitHub">
    <svg viewBox="0 0 16 16" aria-hidden="true">
      <path fill="currentColor" d="M8 0C3.58 0 0 3.58 0 8c0 3.54 2.29 6.53 5.47
        7.59.4.07.55-.17.55-.38 0-.19-.01-.82-.01-1.49-2.01.37-2.53-.49-2.69-.94-.09-.23-.48-.94-.82-1.13-.28-.15-.68-.52-.01-.53.63-.01
        1.08.58 1.23.82.72 1.21 1.87.87 2.33.66.07-.52.28-.87.51-1.07-1.78-.2-3.64-.89-3.64-3.95
        0-.87.31-1.59.82-2.15-.08-.2-.36-1.02.08-2.12 0 0 .67-.21 2.2.82a7.42
        7.42 0 0 1 2-.27c.68 0 1.36.09 2 .27 1.53-1.04 2.2-.82 2.2-.82.44 1.1.16
        1.92.08 2.12.51.56.82 1.27.82 2.15 0 3.07-1.87 3.75-3.65 3.95.29.25.54.73.54
        1.48 0 1.07-.01 1.93-.01 2.2 0 .21.15.46.55.38A8.012 8.012 0 0 0 16 8c0-4.42-3.58-8-8-8z"/>
    </svg>
    <span class="visually-hidden">{{ project }} on GitHub</span>
  </a>
</div>