This has been suggested before, but I cannot find an issue for it.
I think we should include a link to this repository in various places. At least:
This makes it easier to find the source code for potential contributors, as well as avoids awkward questions like #8157.