Mention the rust version the spec targets

src/conf.py

@@ -19,6 +19,8 @@
 
 # -- General configuration ---------------------------------------------------
 
+rst_prolog = ".. include:: ../version.rst"
+
 # Add any Sphinx extension module names here, as strings. They can be
 # extensions coming with Sphinx (named 'sphinx.ext.*') or your custom
 # ones.

src/general.rst

@@ -47,7 +47,7 @@ Scope
 
 :dp:`fls_srdq4mota5pr`
 This document specifies the form and meaning of programs written in the
-programming language Rust, as implemented by the :t:`rustc` compiler shipped
+programming language Rust, as implemented by the :t:`rustc` |spec_version| compiler shipped
 with Ferrocene. It documents the current understanding for the purposes of
 compiler validation. As such, given any doubt, it prefers documenting behavior
 of :t:`rustc` as included in the associated Ferrocene release over claiming

version.rst

@@ -0,0 +1,3 @@
+.. SPDX-License-Identifier: MIT OR Apache-2.0
+   SPDX-FileCopyrightText: The Ferrocene Developers
+.. |spec_version| replace:: 1.83.0