Then again, if something ever happened and everything on GitHub was lost, would you still think it was a waste of resources? 🤔
There may be better ways of doing it (and they are archiving in other ways: scroll up on the page linked to in the post), but this is one way they want to do it, and as long as they've got the money for it, why not?
Now if they were actually using paper...