From e95c6ce041111ea36e91837289270c94d8b5ee81 Mon Sep 17 00:00:00 2001
From: leo <wanderer@dotya.ml>
Date: Tue, 23 May 2023 18:15:21 +0200
Subject: [PATCH] tex: rename sections

---
 tex/text.tex | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/tex/text.tex b/tex/text.tex
index 825a522..c316a4b 100644
--- a/tex/text.tex
+++ b/tex/text.tex
@@ -597,7 +597,7 @@ Dhall not being a Turing-complete language also guarantees that evaluation
 configuration language. 
 
 
-\n{3}{Schema}
+\n{3}{Dhall Schema}
 
 The configuration schema was at first being developed as part of the main
 project's repository, before it was determined that it would benefit both the
@@ -862,7 +862,7 @@ for instance using \texttt{LiME}~\cite{lime}, or perhaps directly the
 
 \n{1}{Implementation}
 
-\n{2}{Compromise checking}
+\n{2}{Compromise Monitoring}
 
 \n{3}{Have I Been Pwned? Integration}
 TODO