diff --git a/.vscode/ltex.dictionary.en-US.txt b/.vscode/ltex.dictionary.en-US.txt
new file mode 100644
index 0000000..77c9565
--- /dev/null
+++ b/.vscode/ltex.dictionary.en-US.txt
@@ -0,0 +1,18 @@
+Zariski
+holomorphic
+geometers
+Yamanoi
+Brotbek
+Brunebarbe
+Cadorel
+Javanpeykar
+Campana
+hyperbolicity
+subvariety
+Bérczi
+Kirwan
+hypersurfaces
+Diverio-Merker-Rousseau
+Grassmannian
+Riedl-Yang
+Bérczi-Kirwan
diff --git a/.vscode/ltex.hiddenFalsePositives.en-US.txt b/.vscode/ltex.hiddenFalsePositives.en-US.txt
new file mode 100644
index 0000000..d05341f
--- /dev/null
+++ b/.vscode/ltex.hiddenFalsePositives.en-US.txt
@@ -0,0 +1,2 @@
+{"rule":"PREPOSITION_VERB","sentence":"^\\QProbably the most complete result in this field is due to A. Bloch (more than 100 years ago), who -in modern language- showed that the Zariski closure of a map \\E(?:Dummy|Ina|Jimmy-)[0-9]+\\Q to a complex torus \\E(?:Dummy|Ina|Jimmy-)[0-9]+\\Q is the translate of a sub-tori.\\E$"}
+{"rule":"PREPOSITION_VERB","sentence":"^\\QIts beginnings date back to 1926, when André Bloch showed that the Zariski closure of entire holomorphic curve \\E(?:Dummy|Ina|Jimmy-)[0-9]+\\Q to a complex torus \\E(?:Dummy|Ina|Jimmy-)[0-9]+\\Q is the translate of a sub-torus.\\E$"}