New page explaining methods for accessing large amounts of data

lmfdb/api/api.py

@@ -56,10 +56,22 @@ def get_database_info(show_hidden=False):
         info[database].append((table, table[i+1:], coll.count()))
     return info
 
+@api_page.route("/options")
+def options():
+    return render_template(
+        "database_options.html",
+        title="Access options for the LMFDB database",
+        learnmore=[("API", url_for(".index")),
+                   ("Table statistics", url_for(".stats")),
+                   ("lmfdb-lite", "https://www.github.com/roed314/lmfdb-lite"),
+                   ("Install the LMFDB locally", "https://github.com/LMFDB/lmfdb/blob/main/GettingStarted.md")],
+        bread=[("Access options", " ")],
+    )
+
 @api_page.route("/")
 def index(show_hidden=False):
     databases = get_database_info(show_hidden)
-    title = "Database"
+    title = "API"
     return render_template("api.html", **locals())
 
 @api_page.route("/all")

lmfdb/api/templates/database_options.html

@@ -0,0 +1,54 @@
+{% extends 'homepage.html' %}
+
+{% block content %}
+
+<div style="max-width:700px;">
+<p>
+  There are three options available to access large amounts of data from the LMFDB.
+</p>
+</div>
+
+<h3>Downloads from search result pages</h3>
+
+<div style="max-width:700px;">
+  {{KNOWL_INC('intro.download_search')}}
+</div>
+
+<h3>The API</h3>
+
+<div style="max-width:700px;">
+  {{KNOWL_INC('intro.api')}}
+</div>
+
+<h3>Direct SQL connection</h3>
+
+<div style="max-width:700px;">
+  {{KNOWL_INC('intro.direct_sql')}}
+</div>
+
+<h3>SQL Mirror Access</h3>
+
+<table class="ntdata">
+  <tr>
+    <th>host</th>
+    <td>devmirror.lmfdb.xyz</td>
+  </tr>
+  <tr>
+    <th>port</th>
+    <td>5432</td>
+  </tr>
+  <tr>
+    <th>dbname</th>
+    <td>lmfdb</td>
+  </tr>
+  <tr>
+    <th>user</th>
+    <td>lmfdb</td>
+  </tr>
+  <tr>
+    <th>password</th>
+    <td>lmfdb</td>
+  </tr>
+</table>
+
+{% endblock %}

lmfdb/homepage/sidebar.yaml

@@ -227,7 +227,7 @@
   type: single
   heading:
     title: Database
-    url_for: "API.index"
+    url_for: "API.options"
     type: knowl
 
 ...