note that user's tables are named diffrently from library tables,
so they can coexists on the same db -->
- <key name="metadata">@DBHOST@ matita helm none legacy</key>
- <key name="metadata">@DBHOST@ public helm none library</key>
+ <key name="metadata">@DBHOST@ matita helm none library</key>
<key name="metadata">@DBHOST@ matita helm none user</key>
<!-- The following snippet it what you want to use a local sqlite db