Embed Notice

@sil
And may I suggest, remember that github = Microsoft, and that almost any company that isn't already owned by one of the big untrustworthy corporations can become owned by one of them overnight. Currently we have no good options.

Until we do I'd put the emphasis on portability, not so much on past record.

Is it easy to export into a useful format? If so, do it regularly in case one day it is not.
@simon