Is there a reason to link out to Github, rather than just storing the files oneself? I don't suppose Lean proofs are very large files.