diff -r f6cff7759b24 -r 7157a39d4a0f ExtensionProtobuf/Documentation/source/index.html
--- /dev/null Thu Jan 01 00:00:00 1970 +0000
+++ b/ExtensionProtobuf/Documentation/source/index.html Sun Dec 04 14:32:07 2022 +0100
@@ -0,0 +1,20 @@
+<!DOCTYPE html>
+<html><head>
+<title>Table of contents</title>
+<meta charset="UTF-8">
+<link rel="stylesheet" href="styles.css">
+</head>
+<body>
+<h1>Table of contents</h1>
+
+
+<h3>Packages</h3>
+<table>
+
+<tr>
+<td><a href="index-Plugin_Extension_Protobuf.html">Plugin_Extension_Protobuf</a></td>
+<td>Package implementing the Protobuf support extension module.</td>
+</tr>
+</table>
+
+</body></html>
\ No newline at end of file
