+ <!-- The following snipset is used by the helm team to publish the matita
+ contributions
+ <key name="metadata">@DBHOST@ mowgli helm none legacy</key>
+ <key name="metadata">@DBHOST@ public helm none library</key>
+ <key name="metadata">@DBHOST@ public helm none user</key>
+ -->
+