The link is to gitlab, not github. But any website is inappropriate in this context because it’s not permanent. The email list is, at least as far as the proj

The link is to gitlab, not github. But any website is inappropriate in this context because it’s not permanent. The email list is, at least as far as the project is concerned.