docs: add new http server page

docs/_diagrams/uml/arch.uml

@@ -87,8 +87,8 @@ url of Authorization is [[../explanations/db_authz.html]]
 url of CLI is [[../references/cli.html#cli]]
 url of "Connection Pool" is [[../references/connection_pool.html]]
 url of Config is [[../references/configuration.html#configuration]]
-url of HTTPADMIN is [[../explanations/architecture.html#http]]
+url of HTTPADMIN is [[../references/http_server.html]]
-url of HTTPAPI is [[../explanations/architecture.html#http]]
+url of HTTPAPI is [[../references/http_server.html]]
 url of Listener is [[../references/listener.html#listener]]
 url of Proxy is [[../explanations/nginx.html]]
 url of "Schema Cache" is [[../references/schema_cache.html#schema-cache]]

docs/explanations/architecture.rst

@@ -84,11 +84,6 @@ Admin
 
 `Admin.hs <https://github.com/PostgREST/postgrest/blob/main/src/library/PostgREST/Admin.hs>`_ is in charge of the :ref:`admin_server`.
 
-HTTP
-----
-
-The HTTP server is provided by `Warp <https://aosabook.org/en/posa/warp.html>`_.
-
 Listener
 --------
 

docs/references/http_server.rst

@@ -0,0 +1,6 @@
+.. _http_server:
+
+HTTP Server
+###########
+
+The HTTP server is provided by `Warp <https://aosabook.org/en/posa/warp.html>`_.