> If there were a way to
do the same for e.g. github issue discussion (without being
dependent on github.com's owner de-jour), that'd be good. Is
there such?
Martin's tooling (https://github.com/martinthomson/i-d-template) provides a make target ("make issues") that pulls down all issues and pull requests from GitHub and puts a json archives file into a branch. The IETF is using it to archive any document that has a "GitHub URL" in its DataTracker entry. Robert Sparks set it up and is probably the best person to answer questions about it. I think it's a few -dozen documents/repo's IIRC.
