chore: prepare for release (#212)

Author: david-christiansen

.vale/styles/config/ignore/terms.txt

@@ -148,4 +148,5 @@ unexpander
 unexpanders
 uninstantiated
 unparenthesized
+upvote
 walkthrough

Manual.lean

@@ -27,9 +27,31 @@ tag := "lean-language-reference"
 
 
 This is the _Lean Language Reference_, an in-progress reference work on Lean.
-It is intended to be a comprehensive, precise description of Lean: a reference work in which Lean users can look up detailed information, rather than a tutorial for new users.
+It is intended to be a comprehensive, precise description of Lean: a reference work in which Lean users can look up detailed information, rather than a tutorial intended for new users.
 For other documentation, please refer to the [Lean documentation site](https://lean-lang.org/documentation/).
 
+This reference manual is not yet complete, but there's enough information to provide value to users.
+The top priority is to add the missing information as quickly as possible while staying up to date with Lean development.
+As the rest of the text is written, regular snapshots will be released, tracking upstream changes.
+This snapshot covers Lean version {versionString}[].
+
+Our prioritization of content is based on our best understanding of our users' needs.
+Please use the [issue tracker](https://github.com/leanprover/reference-manual/issues) to help us better understand what you need to know.
+In particular, please create or upvote issues for topics that are important to you.
+Your feedback is much appreciated!
+Once sufficient content is available, we will begin saving snapshots for each release of Lean and making them conveniently available.
+
+API reference documentation is included from the Lean standard library source code.
+Due to technical limitations at the moment, the Lean terms and examples embedded in it do not render as nicely as we would like.
+In the near future, we will be working on removing these limitations.
+Additionally, we will be adding missing API reference documentation and revising and improving the existing API reference documentation.
+
+**Release History**
+
+: 2024-12-16
+
+  This is the initial release of the reference manual.
+
 {include Manual.Intro}
 
 {include Manual.Elaboration}

static/theme.css

@@ -63,17 +63,3 @@ figcaption {
     font-family: var(--verso-code-font-family) !important;
 }
 
-/** Temporary measures until the real release **/
-@media not print {
-    main::before {
-        content: 'Preview Release';
-        position: fixed;
-        top: 0;
-        right: 0;
-        padding: 0.5rem 1rem;
-        background-color: var(--lean-compl-yellow);
-        font-family: var(--verso-structure-font-family);
-        font-size: large;
-        z-index: 9; /* Just below the ToC */
-    }
-}