From bcffa6918a5f69b5f518beb357f6a7d7ea913200 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Ga=C3=ABtan=20Gilbert?= <gaetan.gilbert@skyskimmer.net>
Date: Tue, 23 Jan 2024 09:34:39 +0100
Subject: [PATCH] Remove "consortium support services" section

This doesn't exist anymore.
---
 pages/consortium.html | 110 ------------------------------------------
 1 file changed, 110 deletions(-)

diff --git a/pages/consortium.html b/pages/consortium.html
index 14b1f3a86e..b45a53edd7 100644
--- a/pages/consortium.html
+++ b/pages/consortium.html
@@ -63,116 +63,6 @@
 </div>
 </div>
 
-<div class="framework">
-<div class="frameworklabel">Support services</div>
-<div class="frameworkcontent">
-    <p>Partners can subscribe a package of support services:
-        <ul>
-            <li>Premium support for bugs. Reports will be
-            processed in priority by the Consortium engineers. </li>
-            <li>Integration of client code in regression tests.</li>
-            <li>Privileged access to Coq developers via a dedicated mailing list.</li>
-            <li>Advertisement of the partner’s involvement in the Coq community.</li>
-        </ul>
-    </p>
-    <p>Partners declare a number of intensive users of Coq they represent, and the Consortium recommends a corresponding level of
-        service (a number of engineer hours, which can be used for support or training). The cost corresponds to that specific level of service.</p>
-    <p><b>Academic partners are eligible to a 50% discount.</b></p>
-    <table>
-        <tr><td>Users</td><td>Engineer hours</td><td>1 year</td><td>2 years</td><td>3 years</td></tr>
-        <tr>
-            <td>
-                5-7
-            </td>
-            <td>
-                4h/user/year
-            </td>
-            <td>
-                € 2000/user
-            </td>
-            <td>
-                € 3600/user
-            </td>
-            <td>
-                € 4800/user
-            </td>
-        </tr>
-        <tr>
-            <td>
-                8-12
-            </td>
-            <td>
-                32h/year
-            </td>
-            <td>
-                € 16000
-            </td>
-            <td>
-                € 28800
-            </td>
-            <td>
-                € 38400
-            </td>
-        </tr>
-        <tr>
-            <td>
-                13-14
-            </td>
-            <td>
-                36h/year
-            </td>
-            <td>
-                € 18000
-            </td>
-            <td>
-                € 32400
-            </td>
-            <td>
-                € 43200
-            </td>
-        </tr>
-        <tr>
-            <td>
-                15-20
-            </td>
-            <td>
-                40h/year
-            </td>
-            <td>
-                € 20000
-            </td>
-            <td>
-                € 36000
-            </td>
-            <td>
-                € 48000
-            </td>
-        </tr>
-        <tr>
-            <td>
-                21+
-            </td>
-            <td>
-                50h/year
-            </td>
-            <td>
-                € 25000
-            </td>
-            <td>
-                € 45000
-            </td>
-            <td>
-                € 60000
-            </td>
-        </tr>
-    </table>
-
-    <div>Note: this information is not contractual and may be subject to change.</div>
-
-</div>
-</div>
-
-
 <div class="framework">
     <div class="frameworklabel">Current members</div>
     <div class="frameworkcontent">