Docs: for 0.13 change summary, put in ignored toctree, link from Changes, fix subsection title

src/sphinx/Community/ChangeSummary_0.13.0.rst

@@ -54,7 +54,7 @@ There are new methods that help avoid duplicating key names by declaring keys as
 The name will be picked up from the val identifier by the implementation of the taskKey macro so there is no reflection needed or runtime overhead.  Note that a description is mandatory and the method ``taskKey`` begins with a lowercase ``t``.  Similar methods exist for keys for settings and input tasks: ``settingKey`` and ``inputKey``.
 
 New task/setting syntax
--------------------
+-----------------------
 
 First, the old syntax is still supported with the intention of allowing conversion to the new syntax at your leisure.  There may be some incompatibilities and some may be unavoidable, but please report any issues you have with an existing build.
 

src/sphinx/Community/Changes.rst

@@ -2,6 +2,13 @@
 Changes
 =======
 
+0.12.2 to 0.13.0
+~~~~~~~~~~~~~~~~
+
+The changes for 0.13.0 are listed on a separate page. See
+:doc:`ChangeSummary_0.13.0`.
+
+
 0.12.1 to 0.12.2
 ~~~~~~~~~~~~~~~~
 

src/sphinx/index.rst

@@ -33,5 +33,6 @@ the :doc:`index of names and types <Name-Index>`.
 
    Dormant/Dormant
    Community/ChangeSummary_0.12.0
+   Community/ChangeSummary_0.13.0
    Community/Repository-Rules
    pdf_index