add edit time and author

Author: imaginator

mkdocs.yml

@@ -1,7 +1,10 @@
 site_name: Simplicity
 site_url: https://new-docs.simplicity-lang.org
 plugins:
-  - search
+  - git-revision-date-localized:
+  - git-committers:
+      repository: BlockstreamResearch/simplicity-docs
+      branch: main
 theme:
   name: material
   favicon: assets/logo-symbol.svg

requirements.txt

@@ -21,18 +21,21 @@
 # Requirements for core
 jinja2~=3.1
 markdown~=3.2
-mkdocs~=1.6
+mkdocs-git-authors-plugin
+mkdocs-git-revision-date-localized-plugin
+mkdocs-git-committers-plugin-2
 mkdocs-material-extensions~=1.3
-pygments~=2.16
 mkdocs-material==9.6.18
+mkdocs~=1.6
+pygments~=2.16
 pymdown-extensions~=10.2
 
 # Requirements for plugins
 babel~=2.10
+backrefs~=5.7.post1
 colorama~=0.4
 mergedeep~=1.3
 paginate~=0.5
-backrefs~=5.7.post1
 requests~=2.26
 
 # Temporarily pin click until this is resolved in MkDocs, see