diff --git a/metadata/templates/mathjax.tpl b/metadata/templates/mathjax.tpl
deleted file mode 100644
--- a/metadata/templates/mathjax.tpl
+++ /dev/null
@@ -1,22 +0,0 @@
-<!-- MathJax for LaTeX support in abstracts -->
-{#
-  The following is the MathJax configuration.
-  This means that formulae can be enclosed in either $ … $ or \( … \)
-#}
-<script>
-MathJax = {
-  tex: {
-    inlineMath: [['$', '$'], ['\\(', '\\)']]
-  },
-  processEscapes: true,
-  svg: {
-    fontCache: 'global'
-  }
-};
-</script>
-{# The following can be used instead to use MathJax from their CDN as opposed to our local copy.
-<script id="MathJax-script" async src="https://cdn.jsdelivr.net/npm/mathjax@3/es5/tex-mml-chtml.js">
-</script>
-#}
-<script id="MathJax-script" async src="{{ ROOT_PATH }}components/mathjax/es5/tex-mml-chtml.js"></script>
-
diff --git a/metadata/templates/submitting.tpl b/metadata/templates/submitting.tpl
--- a/metadata/templates/submitting.tpl
+++ b/metadata/templates/submitting.tpl
@@ -1,85 +1,87 @@
 {% extends "base.tpl" %}
 
 {% block headline %}
 <font class="first">S</font>ubmission
 <font class="first">G</font>uidelines
 {% endblock %}
 
 {% block content %}
 <table width="80%" class="descr">
   <tbody>
     <tr><td>
 
 <p>Please send your submission
 <a href="https://ci.isabelle.systems/afp-submission/">via this web page</a>.
 </p>
 
 <p><strong>The submission must follow the following Isabelle style rules.</strong>
     For additional guidelines on Isabelle proofs, also see the this <a href="http://proofcraft.org/blog/isabelle-style.html">guide</a> (feel free to follow all of these; only the below are mandatory).
     <strong>Technical details about the submission process and the format of the submission are explained on the submission site.</strong></p>
 <ul>
     <li>No use of the commands <code>sorry</code> or <code>back</code>.</li>
 
     <li>Instantiations must not use Isabelle-generated names such as
     <code>xa</code> &mdash; use Isar, the <code>subgoal</code> command
     or <code>rename_tac</code> to avoid such names.</li>
 
     <li>No use of the command <code>smt_oracle</code>.</li>
 
     <li>If your theories contain calls to <code>nitpick</code>,
     <code>quickcheck</code>, or <code>nunchaku</code> those calls must
     include the <code>expect</code> parameter. Alternatively the
     <code>expect</code> parameter must be set globally via, e.g.
     <code>nitpick_params</code>.</li>
 
     <li><code>apply</code> scripts should be indented by subgoal as in
     the Isabelle distribution. If an <code>apply</code> command is
     applied to a state with <code>n+1</code> subgoals, it must be
     indented by <code>n</code> spaces relative to the first
     <code>apply</code> in the sequence.</li>
 
     <li>Only named lemmas should carry attributes such as <code>[simp]</code>.</li>
 
     <li>We prefer structured Isar proofs over apply style, but do not
     mandate them.</li>
 
     <li>If there are proof steps that take significant time, i.e. longer
     than roughly 1 min, please add a short comment to that step, so
     maintainers will know what to expect.</li>
 
     <li>The entry must contain a ROOT file with one session that has the
         name of the entry. We strongly encourage precisely one session per
         entry, but exceptions can be made. All sessions must be in group
         (AFP), and all theory files of the submission must be contained in
         at least one session. See also the example <a href="https://bitbucket.org/isa-afp/afp-2018/src/default/thys/Example-Submission/ROOT">ROOT</a> file
         in the <a href="entries/Example-Submission.html">Example submission</a>.
 	</li>
 
     <li>The entry should cite all sources that the theories are based on,
     for example textbooks or research articles containing informal versions of the proofs.</li>
 </ul>
 
+<p>Your submission must contain an abstract to be displayed on the web site &ndash; usually this will be the same as the abstract of your proof document in the <tt>root.tex</tt> file. You can use LaTeX formulae in this web site abstract, either inline formulae in the form <tt>$a+b$</tt> or <tt>\(a+b\)</tt> or display formulae in the form <tt>$$a + b$$</tt> or <tt>\[a + b\]</tt>. Other occurrences of these characters must be escaped (e.g. <tt>\$</tt> or <tt>\\(</tt>). Note that LaTeX in the title of an entry is <em>not</em> allowed. Most basic LaTeX functionality should be supported. For details on what parts of LaTeX are supported, see the <a href="https://docs.mathjax.org/en/v2.7-latest/tex.html">MathJax documentation.</a></p>
+
 <p>It is possible and encouraged to build on other archive entries
    in your submission. There is a standardised way to
    <a href="using.html">refer to other AFP entries</a> in your
    theories.</p>
 
 <p>Your submission will be refereed and you will receive notification
 as soon as possible. If accepted, you must agree to maintain your
 archive entry or nominate someone else to maintain it. The Isabelle
 development team will assist with maintenance, but it does not have the
 resources to fully maintain the complete archive.</p>
 
 <p>If you have questions regarding your submission, please email <a
 href="&#109;&#97;&#105;&#108;&#116;&#111;:&#97;&#102;&#112;-&#115;&#117;&#98;&#109;&#105;&#116;&#64;&#105;&#110;&#46;&#116;&#117;&#109;&#46;&#100;&#101;">&#97;&#102;&#112;-&#115;&#117;&#98;&#109;&#105;&#116;&#64;&#105;&#110;&#46;&#116;&#117;&#109;&#46;&#100;&#101;</a>.
       If you need help with Isabelle, please use the
 <a href="mailto:isabelle-users@cl.cam.ac.uk">isabelle-users@cl.cam.ac.uk</a>
       mailing list. It is always a good idea to <a
       href="https://lists.cam.ac.uk/mailman/listinfo/cl-isabelle-users">subscribe</a>.</p>
 
     </td></tr>
   </tbody>
 </table>
 
 {% endblock %}