- <key name="metadata">@DBHOST@ public helm none legacy</key>
- <key name="metadata">@DBHOST@ matita helm none library</key>
- <key name="metadata">@DBHOST@ matita helm none user</key>
- they can coexists on the same db -->
+ <!-- The following snippet is used by the helm team
+ note that user's tables are named diffrently from library tables,
+ so they can coexists on the same db -->