Remove 'Repositories' link from navigation

Author: fwanderlingh

index.html

@@ -33,7 +33,6 @@
       </div>
 
       <nav class="nav" id="mobile-nav" aria-label="Primary navigation">
-        <a href="#repositories">Repositories</a>
         <a href="https://graal.dibris.unige.it" target="_blank" rel="noopener noreferrer">Website</a>
         <a href="https://github.com/GRAAL-Lab" target="_blank" rel="noopener noreferrer">GitHub</a>
       </nav>