Just like how Google lists OpenDP under "related projects" here...
https://github.com/google/differential-privacy#related-projects
... we should list their project and other open source DP projects.
I'm thinking that "Related Projects" fits nicely in the User Guide, like this:
