Fix Sphinx bugs

docs/codeql/codeql-for-visual-studio-code/using-the-codeql-model-editor.rst

@@ -30,8 +30,10 @@ To set up the CodeQL model editor, you need to be using CodeQL for VS Code 1.8.7
 
 .. code-block:: json
 
-   "codeQL.canary": true, CHECK THIS
-   "codeQL.model.editor": true,
+    "codeQL.canary": true, 
+    "codeQL.model.editor": true,
+
+CHECK THIS ^^^
 
 Open the user settings editor (JSON) using the command palette (Ctrl/Cmd+Shift+P) and using the command “Preferences: Open User Settings (JSON)”, add these two settings to the file.
 

docs/codeql/codeql-language-guides/data-extensions-to-model-java-dependencies.rst

@@ -50,7 +50,7 @@ Data extensions use union semantics, which means that the tuples of all extensio
 Publish data extension files in a CodeQL model pack to share
 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
 
-You can group one or more data extention files into a CodeQL model pack and publish it to the GitHub Container Registry. This makes it easy for anyone to download the model pack and use it to extend their analysis. For more information, see "`Creating a CodeQL model pack <https://docs.github.com/en/code-security/codeql-cli/using-the-advanced-functionality-of-the-codeql-cli/creating-and-working-with-codeql-packs#creating-a-codeql-model-pack>`__ and `Publishing and using CodeQL packs <https://docs.github.com/en/code-security/codeql-cli/using-the-advanced-functionality-of-the-codeql-cli/publishing-and-using-codeql-packs`__ in the CodeQL CLI documentation.
+You can group one or more data extention files into a CodeQL model pack and publish it to the GitHub Container Registry. This makes it easy for anyone to download the model pack and use it to extend their analysis. For more information, see "`Creating a CodeQL model pack <https://docs.github.com/en/code-security/codeql-cli/using-the-advanced-functionality-of-the-codeql-cli/creating-and-working-with-codeql-packs#creating-a-codeql-model-pack/>`__ and `Publishing and using CodeQL packs <https://docs.github.com/en/code-security/codeql-cli/using-the-advanced-functionality-of-the-codeql-cli/publishing-and-using-codeql-packs/>`__ in the CodeQL CLI documentation.
 
 Extensible predicates in the CodeQL library for Java/Kotlin
 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
@@ -62,14 +62,14 @@ The CodeQL library for Java and Kotlin analysis exposes the following extensible
 - ``summaryModel(package, type, subtypes, name, signature, ext, input, output, kind, provenance)``. This is used to summarize how data values from a source flow outside the repository in a dependency of the main code base.
 - ``neutralModel(package, type, name, signature, kind, provenance)``. This is similar to a summary model but used to model the flow of values that have only a minor impact on the data flow analysis.
 
-The extensible predicates are populated using data extensions specified in YAML files. For more information about extensible predicates, see ":ref:`extensible-predicates`."
+The extensible predicates are populated using data extensions specified in YAML files. For more information about extensible predicates, see ":doc:`extensible-predicates`."
 
 Examples of data extension definitions
 --------------------------------------
 
 The examples in this section are taken from the standard CodeQL Java query pack published by GitHub. They demonstrate how to add tuples to extend extensible predicates that are used by the standard queries.
 
-For details of the *mini DSLs* that define models for each extensible predicate, see ":ref:`extensible-predicate-reference`."
+For details of the *mini DSLs* that define models for each extensible predicate, see ":doc:`extensible-predicates`."
 
 Example: Taint sink in the ``java.sql`` package
 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

docs/codeql/codeql-language-guides/extensible-predicates.rst

@@ -25,11 +25,12 @@ At a high level, there are two main components to using data extensions. The que
 This example of an extensible predicate for a source is taken from the core Java libraries https://github.com/github/codeql/blob/main/java/ql/lib/semmle/code/java/dataflow/ExternalFlowExtensions.qll#L8-L11
 
 .. code-block:: ql
-extensible predicate sourceModel(
-  string package, string type, boolean subtypes, string name, 
-  string signature, string ext, string output, string kind, 
-  string provenance
-);
+
+    extensible predicate sourceModel(
+      string package, string type, boolean subtypes, string name, 
+      string signature, string ext, string output, string kind, 
+      string provenance
+    );
 
 An extensible predicate is a CodeQL predicate with the following restrictions:
 

docs/codeql/codeql-overview/codeql-glossary.rst

@@ -41,7 +41,7 @@ CodeQL packs
 
 CodeQL packs are used to create, share, depend on, and run CodeQL queries, libraries, and models. You can publish your own CodeQL packs and download packs created by others. CodeQL query packs may contain queries, library files, query suites, and metadata. CodeQL library packs include one or more CodeQL libraries. CodeQL model packs include one or more data extension files that extend the core libraries by modeling additional libraries and frameworks (dependencies of your code base).
 
-.. _data-extensions::
+.. _data-extensions:
 
 Data extensions
 ---------------