develop public escrow license and interaction texts.

[kohlhase]

We need this for #67 and even though there are first thoughts/texts in this direction, they need to be fully developed. In particular, the document should be part of the MathHub repository.

There are first ideas for this in the MathHub wiki, but the current form (CCBY licensing mandatory) does not work for a situation, where we want to host external content, such as e.g. the Archive of Formal Proof, which has it's own BSD-style license. Another example is the OEIS which licenses its content under CCNC.

So I guess we need to allow other (open) licenses while keeping public escrow. That means that we have to do some form of license management. I can see two forms this might work in practice:

• we use the license management offered by GitLab (if we get the GitLab ultimate license we have applied for). I have not looked at this in detail yet.
• we do something ourselves, registering the licenses in the archive-level META_INF/MANIFEST.MF

We would probably collect white and black lists of licenses to judge by (authors could petition for their license to be added to the white list for new licenses). We should insist on open source (source = surface language here) licenses that allow free re-distribution (otherwise putting this on MathHub makes no sense. We could still use CCBY as the default license to revert to, if none is specified.

[kohlhase]

@tkw1536 I am sure that you want in on this discussion about licensing on MathHub.

[tkw1536]

See also #67.