Improved documentation generation, no more hacky sed/awk!

docs/pandoc/lua/headers-lvl2-to-lvl3.lua

@@ -0,0 +1,8 @@
+function Header(elem)
+  -- Check if the header is of level 2
+  if elem.level == 2 then
+    -- Change the header level to 3
+    elem.level = 3
+  end
+  return elem
+end