diff --git a/github-mark.png b/github-mark.png
new file mode 100644
index 00000000..6cb3b705
Binary files /dev/null and b/github-mark.png differ
diff --git a/index.html b/index.html
index ee36ebce..db1c9f53 100644
--- a/index.html
+++ b/index.html
@@ -3,12 +3,12 @@
 "http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd">
 <html xmlns="http://www.w3.org/1999/xhtml" lang="en" xml:lang="en">
 <head>
-<!-- 2024-01-15 Mon 14:16 -->
+<!-- 2024-01-17 Wed 16:17 -->
 <meta http-equiv="Content-Type" content="text/html;charset=utf-8" />
 <meta name="viewport" content="width=device-width, initial-scale=1" />
 <title>Mathematical Components</title>
 <meta name="generator" content="Org mode" />
-<meta name="author" content="WDTIS2222H" />
+<meta name="author" content="Reynald Affeldt" />
 <style type="text/css">
  <!--/*--><![CDATA[/*><!--*/
   .title  { text-align: center;
@@ -250,14 +250,14 @@
 <div id="content">
 <h1 class="title">Mathematical Components</h1>
 <p>
- <div style="text-align:right"><img src="https://github.githubassets.com/images/modules/logos_page/Octocat.png" height="25" style="border:0px">
+ <div style="text-align:right"><img src="github-mark.png" height="25" style="border:0px">
 <a href="https://github.com/math-comp/math-comp">View the Project on GitHub</a>
- <img src="https://github.githubassets.com/images/modules/logos_page/Octocat.png" height="25" style="border:0px"></div>
+ <img src="github-mark.png" height="25" style="border:0px"></div>
 </p>
 
-<div id="outline-container-org2df8e5f" class="outline-2">
-<h2 id="org2df8e5f">About</h2>
-<div class="outline-text-2" id="text-org2df8e5f">
+<div id="outline-container-orgaafc006" class="outline-2">
+<h2 id="orgaafc006">About</h2>
+<div class="outline-text-2" id="text-orgaafc006">
 <p>
 Welcome to Mathematical Components' web-page! 
 </p>
@@ -283,9 +283,9 @@ <h2 id="org2df8e5f">About</h2>
 </div>
 </div>
 
-<div id="outline-container-orgc7710f7" class="outline-2">
-<h2 id="orgc7710f7">Get the library</h2>
-<div class="outline-text-2" id="text-orgc7710f7">
+<div id="outline-container-org9032cf5" class="outline-2">
+<h2 id="org9032cf5">Get the library</h2>
+<div class="outline-text-2" id="text-org9032cf5">
 <ul class="org-ul">
 <li>The last stable releases of the Mathematical Components library
 can be <a href="https://github.com/math-comp/math-comp/releases">downloaded from github</a>.</li>
@@ -297,9 +297,9 @@ <h2 id="orgc7710f7">Get the library</h2>
 </div>
 
 
-<div id="outline-container-orgc87f551" class="outline-2">
-<h2 id="orgc87f551">Documentation</h2>
-<div class="outline-text-2" id="text-orgc87f551">
+<div id="outline-container-org323739d" class="outline-2">
+<h2 id="org323739d">Documentation</h2>
+<div class="outline-text-2" id="text-org323739d">
 
 <div style="float: right; width: 240px; margin: 5px 10px">
 <a href="https://math-comp.github.io/mcb/"><img alt="Mathematical Components book" src="https://math-comp.github.io/mcb/cover-front-web.png" style="width: 240px" border="1px solid black"></a>
@@ -342,9 +342,9 @@ <h2 id="orgc87f551">Documentation</h2>
 </ul>
 </div>
 
-<div id="outline-container-org4a5d541" class="outline-3">
-<h3 id="org4a5d541">More material</h3>
-<div class="outline-text-3" id="text-org4a5d541">
+<div id="outline-container-orgdf0af48" class="outline-3">
+<h3 id="orgdf0af48">More material</h3>
+<div class="outline-text-3" id="text-orgdf0af48">
 <ul class="org-ul">
 <li><a href="documentation.html">Books, lectures, videos, etc.</a></li>
 <li><a href="papers.html">Research papers</a> related to Mathematical Components. Your paper or
@@ -355,9 +355,9 @@ <h3 id="org4a5d541">More material</h3>
 </div>
 
 
-<div id="outline-container-orgda61ffb" class="outline-2">
-<h2 id="orgda61ffb">Help and contact</h2>
-<div class="outline-text-2" id="text-orgda61ffb">
+<div id="outline-container-orge522171" class="outline-2">
+<h2 id="orge522171">Help and contact</h2>
+<div class="outline-text-2" id="text-orge522171">
 <ul class="org-ul">
 <li>Chat with us on <a href="https://coq.zulipchat.com/">Coq's Zulip</a>!</li>
 <li>Discuss with us on Coq's <a href="https://coq.discourse.group/">Discourse</a> forum!</li>
@@ -369,9 +369,9 @@ <h2 id="orgda61ffb">Help and contact</h2>
 </div>
 </div>
 
-<div id="outline-container-orgff4908d" class="outline-2">
-<h2 id="orgff4908d">Authors and contributors</h2>
-<div class="outline-text-2" id="text-orgff4908d">
+<div id="outline-container-org336d279" class="outline-2">
+<h2 id="org336d279">Authors and contributors</h2>
+<div class="outline-text-2" id="text-org336d279">
 <p>
 The Mathematical Components library and the Ssreflect proof language
 were initially developed by the Mathematical Components team at the
diff --git a/index.org b/index.org
index 58886902..d15d98af 100644
--- a/index.org
+++ b/index.org
@@ -10,9 +10,9 @@
 #+HTML_HEAD: <style type="text/css"> h3 {margin-left: 1em; padding: 0px; color: #C05001;} </style>
 #+HTML_HEAD: <style type="text/css"> body { max-width: 1100px; width: 100% - 30px; margin-left: 30px; }</style>
 
-@@html: <div style="text-align:right"><img src="https://github.githubassets.com/images/modules/logos_page/Octocat.png" height="25" style="border:0px">@@
+@@html: <div style="text-align:right"><img src="github-mark.png" height="25" style="border:0px">@@
 [[https://github.com/math-comp/math-comp][View the Project on GitHub]]
-@@html: <img src="https://github.githubassets.com/images/modules/logos_page/Octocat.png" height="25" style="border:0px"></div>@@
+@@html: <img src="github-mark.png" height="25" style="border:0px"></div>@@
 
 * About
 
