Merge cf6e0a5aaa into b4105e73e4

Updated minitoc patterns to include versioning. `TeX.gitignore` now ignores both numbered and non-numbered minitoc files. 

The changes were made to include:
- Numbered `.maf`, `.mlf`, `.mlt`, and `.mtc` files;
- Non-numbered `.slf`, `.slt`, and `.stc` files.

Agda.gitignore

@@ -1,2 +1,2 @@
 *.agdai
-**/MAlonzo/**
+MAlonzo/**

Global/macOS.gitignore

@@ -1,6 +1,5 @@
 # General
 .DS_Store
-.localized
 __MACOSX/
 .AppleDouble
 .LSOverride

Lean.gitignore

@@ -1,2 +0,0 @@
-# cache and other artifacts produced by Lean's Lake build tool
-.lake/

Maven.gitignore

@@ -7,7 +7,7 @@ release.properties
 dependency-reduced-pom.xml
 buildNumber.properties
 .mvn/timing.properties
-# https://maven.apache.org/tools/wrapper/#Usage_with_or_without_Binary_JAR
+# https://maven.apache.org/wrapper/#usage-without-binary-jar
 .mvn/wrapper/maven-wrapper.jar
 
 # Eclipse m2e generated files

Nix.gitignore

@@ -4,6 +4,3 @@ result-*
 
 # Ignore automatically generated direnv output
 .direnv
-
-# Ignore NixOS interactive test driver history
-**/.nixos-test-history

TeX.gitignore

@@ -75,11 +75,6 @@ acs-*.bib
 # comment
 *.cut
 
-# context
-*.tuc
-*.tui
-*.tuo
-
 # cprotect
 *.cpt
 
@@ -181,13 +176,13 @@ acs-*.bib
 *.ind
 
 # minitoc
-*.maf
+*.maf*([0-9])
-*.mlf
+*.mlf*([0-9])
-*.mlt
+*.mlt*([0-9])
-*.mtc[0-9]*
+*.mtc*([0-9])
-*.slf[0-9]*
+*.slf*([0-9])
-*.slt[0-9]*
+*.slt*([0-9])
-*.stc[0-9]*
+*.stc*([0-9])
 
 # minted
 _minted*