And we may want to reconsider the license of this repo. While AGPL is good for code, I'm not sure if it's the best choice for what is presumably going to be almost entirely text and documentation.