diff --git a/.gitignore b/.gitignore
index 52100bb..1255ce0 100644
--- a/.gitignore
+++ b/.gitignore
@@ -6,4 +6,5 @@
 *.out
 nimcache/
 build/
-nimbledeps/
\ No newline at end of file
+nimbledeps/
+.VSCodeCounter
\ No newline at end of file
diff --git a/doc/Ongaro.D-Raft-Extended.pdf b/doc/Ongaro.D-Raft-Extended.pdf
new file mode 100644
index 0000000..34966b1
Binary files /dev/null and b/doc/Ongaro.D-Raft-Extended.pdf differ
diff --git a/doc/Ongaro.D-Stanford-PhD-Thessis.pdf b/doc/Ongaro.D-Stanford-PhD-Thessis.pdf
new file mode 100644
index 0000000..5707a2e
Binary files /dev/null and b/doc/Ongaro.D-Stanford-PhD-Thessis.pdf differ