diff --git a/download/frama-c-source-dist.tar.gz b/download/frama-c-source-dist.tar.gz
new file mode 100644
index 0000000000000000000000000000000000000000..7342d66c99665dea05c8be39b2e90e440a4f84c3
--- /dev/null
+++ b/download/frama-c-source-dist.tar.gz
@@ -0,0 +1,3 @@
+version https://git-lfs.github.com/spec/v1
+oid sha256:7056ee2a35172c0070d022945bf7a189366e38c9de20a2686ebe2435657401d7
+size 6008520
diff --git a/html/get-frama-c.html b/html/get-frama-c.html
index a886c7d9418adffbe30c571637f1048f0e82f03b..d55f7a3dc4236f70e0336dbcf7e1ea2d94eba98b 100644
--- a/html/get-frama-c.html
+++ b/html/get-frama-c.html
@@ -77,21 +77,23 @@ opam depext --install -y frama-c</pre>
           </div>
           <div class="otherConfiguration">
             For detailed installation instructions, <a target="_blank" href="https://git.frama-c.com/pub/frama-c/blob/master/INSTALL.md">click here</a>
-            <br>Previous Frama-C versions are available <a href="/html/framac-versions.html">from this page</a>
+            <br>All Frama-C releases are available <a href="/html/framac-versions.html">from this page</a>
           </div>
           {% if site.fc-versions.last.beta %}
           <div class="otherVersion">
             The beta version of the next Frama-C release is available <a href="{{ site.fc-versions.last.url }}">here</a>
           </div>
           {% endif %}
-          <h1 class="pageTitle">Manuals</h1>
+          <h1 class="pageTitle">Downloads</h1>
           <div class="tileWrapper" size="big">
             <div class="tile">
               <h4 class="tileTitle"><span>Frama-C and ACSL</span></h4>
               <ul>
+                <li><a href="/download/frama-c-source-dist.tar.gz">Frama-C source distribution</a></li>
                 <li><a href="/download/frama-c-user-manual.pdf">Frama-C user manual</a></li>
                 <li><a href="/download/frama-c-plugin-development-guide.pdf">Plug-in development guide</a></li>
                 <li><a href="/download/frama-c-acsl-implementation.pdf">ACSL implementation</a></li>
+                <li><a href="/download/e-acsl/e-acsl-implementation.pdf">E-ACSL implementation</a></li>
               </ul>
             </div>
             <div class="tile">
@@ -106,13 +108,6 @@ opam depext --install -y frama-c</pre>
                   </a>
                 </li>
                 {% endif %}
-                {% for add in plugin.additional %}
-                  {% if add.name_for_main_dl %}
-                    <li>
-                      <a href="{{ add.link }}">{{ add.name_for_main_dl }}</a>
-                    </li>
-                  {% endif %}
-                {% endfor %}
               {% endfor %}
               </ul>
             </div>