diff -r 3fc7f813b53d -r d78619cc5a4d docs/src/index.html --- a/docs/src/index.html Sun Dec 15 18:43:01 2019 +0100 +++ b/docs/src/index.html Sun Jul 05 11:55:54 2020 +0200 @@ -22,6 +22,7 @@