Vladimir_Nesov comments on SL4 META: list closure 2 month followup

[Vladimir_Nesov]

And upload the data to github to make reliable private backup trivial. (This also works for active lists.)